Skip to main content
Weiter zur Homepage der Europäischen Kommission (öffnet in neuem Fenster)
Deutsch Deutsch
CORDIS - Forschungsergebnisse der EU
CORDIS

Structures for modal and deontic logics

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Leistungen

Data Management Plan (öffnet in neuem Fenster)

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.

Veröffentlichungen

Subintuitionistic logics and their modal companions: a nested approach (öffnet in neuem Fenster)

Autoren: Matteo Tesi
Veröffentlicht in: Journal of Applied Non-Classical Logics, Ausgabe 34, 2024, ISSN 1166-3081
Herausgeber: Informa UK Limited
DOI: 10.1080/11663081.2024.2366756

Exception and typicality, logically framed (öffnet in neuem Fenster)

Autoren: Mario Piazza, Matteo Tesi
Veröffentlicht in: Journal of Logic, Language and Information, 2025, ISSN 0925-8531
Herausgeber: Springer Science and Business Media LLC
DOI: 10.1007/S10849-025-09437-9

Inside Classical Logic: Truth, Contradictions, Fractionality (öffnet in neuem Fenster)

Autoren: Mario Piazza, Matteo Tesi
Veröffentlicht in: Studia Logica, 2025, ISSN 0039-3215
Herausgeber: Springer Science and Business Media LLC
DOI: 10.1007/S11225-025-10168-Y

Sequents vs Hypersequents for Åqvist Systems (öffnet in neuem Fenster)

Autoren: Agata Ciabattoni, Matteo Tesi
Veröffentlicht in: Lecture Notes in Computer Science, Automated Reasoning, 2024
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-63501-4_10

A Proof Calculus for Ethical Reasoning (öffnet in neuem Fenster)

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

Suche nach OpenAIRE-Daten ...

Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten

Es liegen keine Ergebnisse vor

Mein Booklet 0 0