Explore the words cloud of the PAnaMoL project. It provides you a very rough idea of what is the project "PAnaMoL" about.
The following table provides information about the project.
Coordinator |
TECHNISCHE UNIVERSITAET WIEN
Organization address contact info |
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 |
Take a look of project's partnership.
# | ||||
---|---|---|---|---|
1 | TECHNISCHE UNIVERSITAET WIEN | AT (WIEN) | coordinator | 178˙156.00 |
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 |
---|---|---|---|
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.
Preservation and Adaptation in Turkish as a Heritage Language (PATH) - A Natural Language Laboratory in a Small Dutch Town
Read More