Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS

Structures for modal and deontic logics

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Rezultaty

Data Management Plan (odnośnik otworzy się w nowym oknie)

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.

Publikacje

Subintuitionistic logics and their modal companions: a nested approach (odnośnik otworzy się w nowym oknie)

Autorzy: Matteo Tesi
Opublikowane w: Journal of Applied Non-Classical Logics, Numer 34, 2024, ISSN 1166-3081
Wydawca: Informa UK Limited
DOI: 10.1080/11663081.2024.2366756

Exception and typicality, logically framed (odnośnik otworzy się w nowym oknie)

Autorzy: Mario Piazza, Matteo Tesi
Opublikowane w: Journal of Logic, Language and Information, 2025, ISSN 0925-8531
Wydawca: Springer Science and Business Media LLC
DOI: 10.1007/S10849-025-09437-9

Inside Classical Logic: Truth, Contradictions, Fractionality (odnośnik otworzy się w nowym oknie)

Autorzy: Mario Piazza, Matteo Tesi
Opublikowane w: Studia Logica, 2025, ISSN 0039-3215
Wydawca: Springer Science and Business Media LLC
DOI: 10.1007/S11225-025-10168-Y

Sequents vs Hypersequents for Åqvist Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Agata Ciabattoni, Matteo Tesi
Opublikowane w: Lecture Notes in Computer Science, Automated Reasoning, 2024
Wydawca: Springer Nature Switzerland
DOI: 10.1007/978-3-031-63501-4_10

A Proof Calculus for Ethical Reasoning (odnośnik otworzy się w nowym oknie)

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

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników

Moja broszura 0 0