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.
TECHNISCHE UNIVERSITAET WIEN
|Coordinator Country||Austria [AT]|
|Total cost||178˙156 €|
|EC max contribution||178˙156 € (100%)|
1. H2020-EU.1.3.2. (Nurturing excellence by means of cross-border and cross-sector mobility)
|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|
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|
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
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|
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|
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|
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 (firstname.lastname@example.org) 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.
Multi-color and single-molecule fluorescence imaging of intraflagellar transport in the phasmid chemosensory cilia of C. ElegansRead More
Narrative, Writing, and the Teotihuacan Language: Exploring Language History Through Phylogenetics, Epigraphy and IconographyRead More
Mathematics AnalogiesRead More