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.
Unravelling maintenance mechanisms of immune tolerance after termination of venom immunotherapy by means of clonal mast cell diseases
Read MoreMultimode cOrrelations in microwave photonics with Superconducting quAntum Circuits
Read MoreIncreases biomass production and soil organic carbon stocks with innovative cropping systems under climate change
Read More