Skip to main content
Go to the home page of the European Commission (opens in new window)
English English
CORDIS - EU research results
CORDIS

Structures for modal and deontic logics

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Deliverables

Data Management Plan (opens in new window)

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 (opens in new window)

Author(s): Matteo Tesi
Published in: Journal of Applied Non-Classical Logics, Issue 34, 2024, ISSN 1166-3081
Publisher: Informa UK Limited
DOI: 10.1080/11663081.2024.2366756

Exception and typicality, logically framed (opens in new window)

Author(s): Mario Piazza, Matteo Tesi
Published in: Journal of Logic, Language and Information, 2025, ISSN 0925-8531
Publisher: Springer Science and Business Media LLC
DOI: 10.1007/S10849-025-09437-9

Inside Classical Logic: Truth, Contradictions, Fractionality (opens in new window)

Author(s): Mario Piazza, Matteo Tesi
Published in: Studia Logica, 2025, ISSN 0039-3215
Publisher: Springer Science and Business Media LLC
DOI: 10.1007/S11225-025-10168-Y

Sequents vs Hypersequents for Åqvist Systems (opens in new window)

Author(s): Agata Ciabattoni, Matteo Tesi
Published in: Lecture Notes in Computer Science, Automated Reasoning, 2024
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-63501-4_10

A Proof Calculus for Ethical Reasoning (opens in new window)

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

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available

My booklet 0 0