Summary
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.
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.
Unfold all
/
Fold all
More information & hyperlinks
| Web resources: | https://cordis.europa.eu/project/id/660047 |
| Start date: | 01-05-2015 |
| End date: | 30-04-2017 |
| Total budget - Public funding: | 178 156,80 Euro - 178 156,00 Euro |
Cordis data
Original description
The PAnaMoL project aims at systematising proof theory for modallogics. 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.
Status
CLOSEDCall topic
MSCA-IF-2014-EFUpdate Date
28-04-2024
Images
No images available.
Geographical location(s)
Structured mapping
Unfold all
/
Fold all
EU-Programme-Call
