Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS

Structures for modal and deontic logics

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Resultado final

Data Management Plan (se abrirá en una nueva ventana)

The Data Management Plan describes the data management life cycle for all data sets that will be collected, processed or generated by the action. It is a document describing what data will be collected, processed or generated and following what methodology and standards, whether and how this data will be shared and/or made open, and how it will be curated and preserved.

Publicaciones

Subintuitionistic logics and their modal companions: a nested approach (se abrirá en una nueva ventana)

Autores: Matteo Tesi
Publicado en: Journal of Applied Non-Classical Logics, Edición 34, 2024, ISSN 1166-3081
Editor: Informa UK Limited
DOI: 10.1080/11663081.2024.2366756

Exception and typicality, logically framed (se abrirá en una nueva ventana)

Autores: Mario Piazza, Matteo Tesi
Publicado en: Journal of Logic, Language and Information, 2025, ISSN 0925-8531
Editor: Springer Science and Business Media LLC
DOI: 10.1007/S10849-025-09437-9

Inside Classical Logic: Truth, Contradictions, Fractionality (se abrirá en una nueva ventana)

Autores: Mario Piazza, Matteo Tesi
Publicado en: Studia Logica, 2025, ISSN 0039-3215
Editor: Springer Science and Business Media LLC
DOI: 10.1007/S11225-025-10168-Y

Sequents vs Hypersequents for Åqvist Systems (se abrirá en una nueva ventana)

Autores: Agata Ciabattoni, Matteo Tesi
Publicado en: Lecture Notes in Computer Science, Automated Reasoning, 2024
Editor: Springer Nature Switzerland
DOI: 10.1007/978-3-031-63501-4_10

A Proof Calculus for Ethical Reasoning (se abrirá en una nueva ventana)

Autores: Han Gao, Emiliano Lorini, Nicola Olivetti, Matteo Tesi
Publicado en: Lecture Notes in Computer Science, PRIMA 2024: Principles and Practice of Multi-Agent Systems, 2024
Editor: Springer Nature Switzerland
DOI: 10.1007/978-3-031-77367-9_15

Buscando datos de OpenAIRE...

Se ha producido un error en la búsqueda de datos de OpenAIRE

No hay resultados disponibles

Mi folleto 0 0