Objective The PAnaMoL project aims at systematising proof theory for modallogics. We intend to provide a unified perspective on sequent-stylecalculi and a deeper understanding of the general connections betweenaxiom systems and sequent-style calculi for such logics. In detailthe research objectives are- The systematic development of suitable syntactic characterisationsof classes of modal axioms corresponding to natural formats of rulesin different sequent-style frameworks (e.g. sequent, hypersequent,nested sequent or display calculi) including algorithmic translationsfrom axioms to rules and back.- A systematic comparison of the different sequent-style frameworksaccording to their expressive strength.- The exploitation of these results in the investigation of:classification results stating necessary and sufficientproof-theoretic strength for important examples of logics such as GLand S5; uniform decidability and complexity results for large classesof logics; general consistency proofs.The research conducted in the project will be of relevance toresearchers in all fields where modal logics are used to model complexphenomena and provide easy-to-use results and methods for theproof-theoretic investigation and implementation of newly developedmodal logics. Fields of science social scienceseconomics and businesseconomicsnatural sciencesmathematicspure mathematicsdiscrete mathematicsmathematical logicnatural sciencescomputer and information sciencescomputational sciencehumanitiesphilosophy, ethics and religionphilosophy Programme(s) H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions Main Programme H2020-EU.1.3.2. - Nurturing excellence by means of cross-border and cross-sector mobility Topic(s) MSCA-IF-2014-EF - Marie Skłodowska-Curie Individual Fellowships (IF-EF) Call for proposal H2020-MSCA-IF-2014 See other projects for this call Funding Scheme MSCA-IF-EF-ST - Standard EF Coordinator TECHNISCHE UNIVERSITAET WIEN Net EU contribution € 178 156,80 Address KARLSPLATZ 13 1040 Wien Austria See on map Region Ostösterreich Wien Wien Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Total cost € 178 156,80
