Opendata, web and dolomites


Proof-theoretic Analysis of Modal Logics

Total Cost €


EC-Contrib. €






Project "PAnaMoL" data sheet

The following table provides information about the project.


Organization address
address: KARLSPLATZ 13
city: WIEN
postcode: 1040

contact info
title: n.a.
name: n.a.
surname: n.a.
function: n.a.
email: n.a.
telephone: n.a.
fax: n.a.

 Coordinator Country Austria [AT]
 Project website
 Total cost 178˙156 €
 EC max contribution 178˙156 € (100%)
 Programme 1. H2020-EU.1.3.2. (Nurturing excellence by means of cross-border and cross-sector mobility)
 Code Call H2020-MSCA-IF-2014
 Funding Scheme MSCA-IF-EF-ST
 Starting year 2015
 Duration (year-month-day) from 2015-05-01   to  2017-04-30


Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    TECHNISCHE UNIVERSITAET WIEN AT (WIEN) coordinator 178˙156.00


 Project objective

The PAnaMoL project aims at systematising proof theory for modal logics. We intend to provide a unified perspective on sequent-style calculi and a deeper understanding of the general connections between axiom systems and sequent-style calculi for such logics. In detail the research objectives are

- The systematic development of suitable syntactic characterisations of classes of modal axioms corresponding to natural formats of rules in different sequent-style frameworks (e.g. sequent, hypersequent, nested sequent or display calculi) including algorithmic translations from axioms to rules and back.

- A systematic comparison of the different sequent-style frameworks according to their expressive strength.

- The exploitation of these results in the investigation of: classification results stating necessary and sufficient proof-theoretic strength for important examples of logics such as GL and S5; uniform decidability and complexity results for large classes of logics; general consistency proofs.

The research conducted in the project will be of relevance to researchers in all fields where modal logics are used to model complex phenomena and provide easy-to-use results and methods for the proof-theoretic investigation and implementation of newly developed modal logics.


year authors and title journal last update
List of publications.
2017 Agata Ciabattoni, Bj?rn Lellmann, Carlos Olarte, Elaine Pimentel
From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction
published pages: 75-93, ISSN: 1571-0661, DOI: 10.1016/j.entcs.2017.04.006
Electronic Notes in Theoretical Computer Science 332 2019-07-24
2016 Marianna Girlando, Bj?rn Lellmann, Nicola Olivetti, Gian Luca Pozzato
Standard Sequent Calculi for Lewis’ Logics of Counterfactuals
published pages: 272-287, ISSN: , DOI: 10.1007/978-3-319-48758-8_18
2016 Bj?rn Lellmann
Hypersequent rules with restricted contexts for propositional modal logics
published pages: 76-105, ISSN: 0304-3975, DOI: 10.1016/j.tcs.2016.10.004
Theoretical Computer Science 656 2019-07-24
2016 Roman Kuznets, Bj?rn Lellmann
Grafting hypersequents onto nested sequents
published pages: 375-423, ISSN: 1367-0751, DOI: 10.1093/jigpal/jzw005
Logic Journal of IGPL 24/3 2019-07-24
2017 Elisa Freschi, Agata Ciabattoni, Francesco A. Genco, Bjoern Lellmann
Understanding prescriptive texts: Rules and logic as elaborated by the Mimamsa school
published pages: 47-66, ISSN: 2474-1795, DOI: 10.2979/jourworlphil.2.1.05
Journal of World Philosophies 2 2019-07-24
2017 Bjoern Lellmann, Carlos Olarte and Elaine Pimentel
A uniform framework for substructural logics with modalities
published pages: 435-455, ISSN: 2398-7340, DOI:
LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning 2019-07-24

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "PANAMOL" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an  email ( and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "PANAMOL" are provided by the European Opendata Portal: CORDIS opendata.

More projects from the same programme (H2020-EU.1.3.2.)

MingleIFT (2020)

Multi-color and single-molecule fluorescence imaging of intraflagellar transport in the phasmid chemosensory cilia of C. Elegans

Read More  

NaWaTL (2020)

Narrative, Writing, and the Teotihuacan Language: Exploring Language History Through Phylogenetics, Epigraphy and Iconography

Read More  

MathematicsAnalogies (2019)

Mathematics Analogies

Read More