Proof-theoretic Analysis of Modal Logics

Linear Nested Sequents, 2-Sequents and Hypersequents

Auteurs: Björn Lellmann
Publié dans: Automated Reasoning with Analytic Tableaux and Related Methods, 2015, Page(s) 135-150, ISBN 978-3-319-24312-2
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-24312-2_10

Proof Search in Nested Sequent Calculi

Auteurs: Björn Lellmann, Elaine Pimentel
Publié dans: Logic for Programming, Artificial Intelligence, and Reasoning, 2015, Page(s) 558-574, ISBN 978-3-662-48899-7
Éditeur: Springer Berlin Heidelberg
DOI: 10.1007/978-3-662-48899-7_39

Mīmāṃsā Deontic Logic: Proof Theory and Applications

Auteurs: Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, Björn Lellmann
Publié dans: Automated Reasoning with Analytic Tableaux and Related Methods, 2015, Page(s) 323-338, ISBN 978-3-319-24312-2
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-24312-2_22

Hypersequent rules with restricted contexts for propositional modal logics

Auteurs: Bj?rn Lellmann
Publié dans: Theoretical Computer Science, Numéro 656, 2016, Page(s) 76-105, ISSN 0304-3975
Éditeur: Elsevier BV
DOI: 10.1016/j.tcs.2016.10.004

From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction

Auteurs: Agata Ciabattoni, Bj?rn Lellmann, Carlos Olarte, Elaine Pimentel
Publié dans: Electronic Notes in Theoretical Computer Science, Numéro 332, 2017, Page(s) 75-93, ISSN 1571-0661
Éditeur: Elsevier BV
DOI: 10.1016/j.entcs.2017.04.006

Grafting hypersequents onto nested sequents

Auteurs: Roman Kuznets, Bj?rn Lellmann
Publié dans: Logic Journal of IGPL, Numéro 24/3, 2016, Page(s) 375-423, ISSN 1367-0751
Éditeur: Oxford University Press
DOI: 10.1093/jigpal/jzw005

Understanding prescriptive texts: Rules and logic as elaborated by the Mimamsa school

Auteurs: Elisa Freschi, Agata Ciabattoni, Francesco A. Genco, Bjoern Lellmann
Publié dans: Journal of World Philosophies, Numéro 2, 2017, Page(s) 47-66, ISSN 2474-1795
Éditeur: Indiana University Press
DOI: 10.2979/jourworlphil.2.1.05

A uniform framework for substructural logics with modalities

Auteurs: Bjoern Lellmann, Carlos Olarte and Elaine Pimentel
Publié dans: LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 2017, Page(s) 435-455, ISSN 2398-7340
Éditeur: Easychair

Standard Sequent Calculi for Lewis’ Logics of Counterfactuals

Auteurs: Marianna Girlando, Bj?rn Lellmann, Nicola Olivetti, Gian Luca Pozzato
Publié dans: 2016, Page(s) 272-287
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-48758-8_18

Publications

Partager cette page

Télécharger