Skip to main content
Vai all'homepage della Commissione europea (si apre in una nuova finestra)
italiano italiano
CORDIS - Risultati della ricerca dell’UE
CORDIS

Structures for modal and deontic logics

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Risultati finali

Data Management Plan (si apre in una nuova finestra)

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.

Pubblicazioni

Subintuitionistic logics and their modal companions: a nested approach (si apre in una nuova finestra)

Autori: Matteo Tesi
Pubblicato in: Journal of Applied Non-Classical Logics, Numero 34, 2024, ISSN 1166-3081
Editore: Informa UK Limited
DOI: 10.1080/11663081.2024.2366756

Exception and typicality, logically framed (si apre in una nuova finestra)

Autori: Mario Piazza, Matteo Tesi
Pubblicato in: Journal of Logic, Language and Information, 2025, ISSN 0925-8531
Editore: Springer Science and Business Media LLC
DOI: 10.1007/S10849-025-09437-9

Inside Classical Logic: Truth, Contradictions, Fractionality (si apre in una nuova finestra)

Autori: Mario Piazza, Matteo Tesi
Pubblicato in: Studia Logica, 2025, ISSN 0039-3215
Editore: Springer Science and Business Media LLC
DOI: 10.1007/S11225-025-10168-Y

Sequents vs Hypersequents for Åqvist Systems (si apre in una nuova finestra)

Autori: Agata Ciabattoni, Matteo Tesi
Pubblicato in: Lecture Notes in Computer Science, Automated Reasoning, 2024
Editore: Springer Nature Switzerland
DOI: 10.1007/978-3-031-63501-4_10

A Proof Calculus for Ethical Reasoning (si apre in una nuova finestra)

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

È in corso la ricerca di dati su OpenAIRE...

Si è verificato un errore durante la ricerca dei dati su OpenAIRE

Nessun risultato disponibile

Il mio fascicolo 0 0