Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

PAnaMoL

Financiado

Cerrado

Proof theoretic Analysis of Modal Logics

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-... ver más

30/04/2017

TU WIEN

178K€

Presupuesto del proyecto: 178K€

Líder del proyecto

TECHNISCHE UNIVERSITAET WIEN No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Fecha límite participación Sin fecha límite de participación.

Financiación concedida El organismo H2020 notifico la concesión del proyecto el día 2017-04-30

MSCA-IF-2014-EF: Marie Skłodowska-Curie Individual F...

I+D

Cerrada hace 10 años

0% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

1 Participantes

TU WIEN

178.16K€ | Lider

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

GETFUN Generalizing Truth Functionality 222K€ Cerrado

FFI2009-09345 NOCIONES DE COMPLETUD 48K€ Cerrado

GALE Games and Automata for Logic Extensions 932K€ Cerrado

REMODEL Structures for modal and deontic logics 184K€ Cerrado

NDMANCL Non deterministic Matrices and their Applications for Non cl... 164K€ Cerrado

FRESCO Fast and Reliable Symbolic Computation 2M€ Cerrado

Duración del proyecto: 25 meses Fecha Inicio: 2015-03-11
Fecha Fin: 2017-04-30

Líder del proyecto

TECHNISCHE UNIVERSITAET WIEN No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 178K€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto 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.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores