Skip to main content
Aller à la page d’accueil de la Commission européenne (s’ouvre dans une nouvelle fenêtre)
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS

Structures for modal and deontic logics

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Livrables

Data Management Plan (s’ouvre dans une nouvelle fenêtre)

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.

Publications

Subintuitionistic logics and their modal companions: a nested approach (s’ouvre dans une nouvelle fenêtre)

Auteurs: Matteo Tesi
Publié dans: Journal of Applied Non-Classical Logics, Numéro 34, 2024, ISSN 1166-3081
Éditeur: Informa UK Limited
DOI: 10.1080/11663081.2024.2366756

Exception and typicality, logically framed (s’ouvre dans une nouvelle fenêtre)

Auteurs: Mario Piazza, Matteo Tesi
Publié dans: Journal of Logic, Language and Information, 2025, ISSN 0925-8531
Éditeur: Springer Science and Business Media LLC
DOI: 10.1007/S10849-025-09437-9

Inside Classical Logic: Truth, Contradictions, Fractionality (s’ouvre dans une nouvelle fenêtre)

Auteurs: Mario Piazza, Matteo Tesi
Publié dans: Studia Logica, 2025, ISSN 0039-3215
Éditeur: Springer Science and Business Media LLC
DOI: 10.1007/S11225-025-10168-Y

Sequents vs Hypersequents for Åqvist Systems (s’ouvre dans une nouvelle fenêtre)

Auteurs: Agata Ciabattoni, Matteo Tesi
Publié dans: Lecture Notes in Computer Science, Automated Reasoning, 2024
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-63501-4_10

A Proof Calculus for Ethical Reasoning (s’ouvre dans une nouvelle fenêtre)

Auteurs: Han Gao, Emiliano Lorini, Nicola Olivetti, Matteo Tesi
Publié dans: Lecture Notes in Computer Science, PRIMA 2024: Principles and Practice of Multi-Agent Systems, 2024
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-77367-9_15

Recherche de données OpenAIRE...

Une erreur s’est produite lors de la recherche de données OpenAIRE

Aucun résultat disponible

Mon livret 0 0