Proof-theoretic Analysis of Modal Logics

Informations projet

PAnaMoL

N° de convention de subvention: 660047

DOI

10.3030/660047

Projet clôturé

Date de signature de la CE 11 Mars 2015

Date de début 1 Mai 2015

Date de fin 30 Avril 2017

Financé au titre de

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coût total

€ 178 156,80

Contribution de l’UE

€ 178 156,80

Coordonné par

TECHNISCHE UNIVERSITAET WIEN
Austria

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Book chapters (3)

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

Peer reviewed articles (4)

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

Conference proceedings (2)

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