Proof-theoretic Analysis of Modal Logics

Informazioni relative al progetto

PAnaMoL

ID dell’accordo di sovvenzione: 660047

DOI

10.3030/660047

Progetto chiuso

Data della firma CE 11 Marzo 2015

Data di avvio 1 Maggio 2015

Data di completamento 30 Aprile 2017

Finanziato da

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Costo totale

€ 178 156,80

Contributo UE

€ 178 156,80

Coordinato da

TECHNISCHE UNIVERSITAET WIEN
Austria

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Book chapters (3)

Linear Nested Sequents, 2-Sequents and Hypersequents

Autori: Björn Lellmann
Pubblicato in: Automated Reasoning with Analytic Tableaux and Related Methods, 2015, Pagina/e 135-150, ISBN 978-3-319-24312-2
Editore: Springer International Publishing
DOI: 10.1007/978-3-319-24312-2_10

Proof Search in Nested Sequent Calculi

Autori: Björn Lellmann, Elaine Pimentel
Pubblicato in: Logic for Programming, Artificial Intelligence, and Reasoning, 2015, Pagina/e 558-574, ISBN 978-3-662-48899-7
Editore: Springer Berlin Heidelberg
DOI: 10.1007/978-3-662-48899-7_39

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

Autori: Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, Björn Lellmann
Pubblicato in: Automated Reasoning with Analytic Tableaux and Related Methods, 2015, Pagina/e 323-338, ISBN 978-3-319-24312-2
Editore: 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

Autori: Bj?rn Lellmann
Pubblicato in: Theoretical Computer Science, Numero 656, 2016, Pagina/e 76-105, ISSN 0304-3975
Editore: Elsevier BV
DOI: 10.1016/j.tcs.2016.10.004

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

Autori: Agata Ciabattoni, Bj?rn Lellmann, Carlos Olarte, Elaine Pimentel
Pubblicato in: Electronic Notes in Theoretical Computer Science, Numero 332, 2017, Pagina/e 75-93, ISSN 1571-0661
Editore: Elsevier BV
DOI: 10.1016/j.entcs.2017.04.006

Grafting hypersequents onto nested sequents

Autori: Roman Kuznets, Bj?rn Lellmann
Pubblicato in: Logic Journal of IGPL, Numero 24/3, 2016, Pagina/e 375-423, ISSN 1367-0751
Editore: Oxford University Press
DOI: 10.1093/jigpal/jzw005

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

Autori: Elisa Freschi, Agata Ciabattoni, Francesco A. Genco, Bjoern Lellmann
Pubblicato in: Journal of World Philosophies, Numero 2, 2017, Pagina/e 47-66, ISSN 2474-1795
Editore: Indiana University Press
DOI: 10.2979/jourworlphil.2.1.05

Conference proceedings (2)

A uniform framework for substructural logics with modalities

Autori: Bjoern Lellmann, Carlos Olarte and Elaine Pimentel
Pubblicato in: LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 2017, Pagina/e 435-455, ISSN 2398-7340
Editore: Easychair

Standard Sequent Calculi for Lewis’ Logics of Counterfactuals

Autori: Marianna Girlando, Bj?rn Lellmann, Nicola Olivetti, Gian Luca Pozzato
Pubblicato in: 2016, Pagina/e 272-287
Editore: Springer International Publishing
DOI: 10.1007/978-3-319-48758-8_18