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

REMODEL

Financiado

Cerrado

Structures for modal and deontic logics

Reasoning with and about norms is central in a variety of fields, ranging from legal reasoning to machine ethics. Deontic logics provide a logical framework to give a formal and rigorous presentation of the inferential patterns in... ver más

31/05/2026

TU WIEN

184K€

Presupuesto del proyecto: 184K€

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 HORIZON EUROPE notifico la concesión del proyecto el día 2024-05-12

HORIZON-MSCA-2023-PF-01-01: MSCA Postdoctoral Fellowships 2023 ExpectedOutcome:Project results are expected to contribute to the following outcomes:

I+D

Cerrada hace 1 año

0% 100%

Información adicional privada

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

1 Participantes

TU WIEN

183.60K€ | Lider

Proyectos interesantes

PAnaMoL

Software

Applied Physics

178K€ Cerrado

GETFUN

Software

Applied Physics

222K€ Cerrado

MOSAIC

Software

Data Science

1M€ Cerrado

EMEHOC

Software

Applied Physics

195K€ Cerrado

FFI2017-82554-P

Software

Applied Physics

17K€ Cerrado

FFI2013-47126-P

Software

Applied Physics

35K€ 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: 24 meses Fecha Inicio: 2024-05-12
Fecha Fin: 2026-05-31

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 184K€

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

Descripción del proyecto Reasoning with and about norms is central in a variety of fields, ranging from legal reasoning to machine ethics. Deontic logics provide a logical framework to give a formal and rigorous presentation of the inferential patterns involved in normative reasoning. However, beside describing and representing, it is crucial to have explanations as to why a certain norm applies or not. In logic, positive explanations come in the form of derivations, whereas negative explanations can be identified with countermodels. The REMODEL (StRucturEs for MOdal and DEontic Logics) project will introduce proof calculi to analyze and explain normative reasoning. The calculi thus introduced will be Gentzen-style systems, i.e., analytic proof calculi in which the proofs result from a stepwise decomposition of the conclusion according to rules. The researcher has carried out several studies on the proof theory of modal and related logics and he aims to use his expertise in the field to carry out a dedicated research program in deontic logics. The REMODEL project will tackle the problem of defining analytic proof systems for monotonic deontic logics and non-monotonic ones, employing the methodologies of structural proof theory. Finally, he will study the relation between deontic and modal logics establishing formal embeddings via proof transformations. The collaboration with the supervisor will be essential and the researcher will benefit from her experience both in the fields of proof theory and deontic logics.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores