Publications
The following articles were published in the project so far:
-
Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity, with Marianna Girlando, Nicola Olivetti, and Gian Luca Pozzato.
In: R. Schmidt and C. Nalon (Eds.): TABLEAUX 2017. LNCS, vol.10501, pp.131-148. Springer (2017)
Preliminary version -
VINTE: an Implementation of Internal Calculi for Lewis' Logics for Counterfactual Reasoning, with Marianna Girlando, Nicola Olivetti, Gian Luca Pozzato, and Quentin Vitalis.
In: R. Schmidt and C. Nalon (Eds.): TABLEAUX 2017. LNCS, vol.10501, pp.149-159. Springer (2017)
Preliminary version.
The implementation can be found here. -
A uniform framework for substructural logics with modalities, with Carlos Olarte and Elaine Pimentel.
In: T. Eiter and D. Sands (Eds.): LPAR-21. EPiC Series in Computing, vol.46, pp.435-455. Easychair (2017). -
From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction, with Agata Ciabattoni, Carlos Olarte, and Elaine Pimentel.
Electronic Notes in Theoretical Computer Science 332:75-93. - Understanding Prescriptive Texts: Rules and Logic as Elaborated by the Mimamsa School, with Agata Ciabattoni, Elisa Freschi, and Francesco Genco.
Journal of Wold Philosophies 2:47-66 (2017). - Modularisation of Sequent Calculi for Normal and Non-normal Modalities (arXiv Preprint), with Elaine Pimentel.
-
Standard Sequent Calculi for Lewis' Logics of Counterfactuals, with Marianna Girlando, Nicola Olivetti, and Gian Luca Pozzato.
In: L. Michael and A. Kakas (Eds.): JELIA 2016. LNAI, vol. 10021, pp.272-287. Springer International (2016). -
Hypersequent Rules with Restricted Contexts for Propositional Modal Logics.
Theoretical Computer Science, 656:76-105 (2016).
Preprint. -
Grafting Hypersequents onto Nested Sequents, with Roman Kuznets.
Logic Journal of the IGPL, 24(3):375-423 (2016)
Free PDF.
Preprint available from arXiv. -
Proof Search in Nested Sequent Calculi, with Elaine Pimentel.
In: M. Davis, A. Fehnker, A. McIver, A. Voronkov (Eds.): LPAR-20. LNCS, vol. 9450, pp.558-574. Springer Berlin Heidelberg (2015).
Preliminary version.
Some of the systems in this paper have been implemented in the prover POULE. -
Mimamsa Deontic Logic: Proof Theory and Applications, with Agata Ciabattoni, Elisa Freschi, and Francesco Genco.
In: Hans de Nivelle (Ed.): TABLEAUX 2015. LNCS, vol. 9323, pp.323-338. Springer International (2015).
Preprint version on arXiv. -
Linear Nested Sequents, 2-sequents and Hypersequents.
In: Hans de Nivelle (Ed.): TABLEAUX 2015. LNCS, vol. 9323, pp.135-150. Springer International (2015).
Preliminary version.