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... Scope:Proposals for European Fellowships involve a single host organisation (future beneficiary) est...

I+D

Cerrada

0% 100%

Características del participante

Este proyecto no cuenta con búsquedas de partenariado abiertas en este momento.

Información adicional privada

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

1 Participantes

TU WIEN

178.16K€ | Lider

Proyectos interesantes

GETFUN

Software

Applied Physics

222K€ Cerrado

FFI2009-09345

Software

Applied Physics

48K€ Cerrado

GALE

Software

Applied Physics

932K€ Cerrado

REMODEL

Software

Applied Physics

184K€ Financiado

NDMANCL

Software

Applied Physics

164K€ Cerrado

FRESCO

Software

Data Science

2M€ Cerrado

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

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