#	Pagina
attuale pagina	/open-h2020/projects/195879/index.html

Opendata, web and dolomites

PAnaMoL

Proof-theoretic Analysis of Modal Logics

Total Cost €

EC-Contrib. €

Partnership

Views

Outcomes and
results

PAnaMoL project word cloud

Explore the words cloud of the PAnaMoL project. It provides you a very rough idea of what is the project "PAnaMoL" about.

examples axiom style rules proofs deeper phenomena systematising connections investigation unified classification formats theoretic strength newly frameworks perspective decidability intend expressive hypersequent suitable panamol nested sequent uniform proof syntactic algorithmic theory characterisations modal relevance classes complexity systematic model natural translations s5 axioms sufficient consistency display corresponding stating logics back calculi gl

Project "PAnaMoL" data sheet

The following table provides information about the project.

Coordinator	TECHNISCHE UNIVERSITAET WIEN Organization address address: KARLSPLATZ 13 city: WIEN postcode: 1040 website: www.tuwien.ac.at 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	http://logic.at/staff/lellmann/static/mariecurie/index.html
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

Partnership

Take a look of project's partnership.

#	participants	country	role	EC contrib. [€]
1	TECHNISCHE UNIVERSITAET WIEN TECHNISCHE UNIVERSITAET WIEN Organization address address: KARLSPLATZ 13 city: WIEN postcode: 1040 website: www.tuwien.ac.at contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	AT (WIEN)	coordinator	178˙156.00

Map

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.

Publications

List of publications.
year	authors and title	journal	last update
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		2019-07-24
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 (fabio@fabiodisconzi.com) 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.