Ciabattoni, Agata
Prefix title Titel (vorangestellt)
Univ.Prof. Dr.
Full name Familienname, Vorname
Ciabattoni, Agata
Main Affiliation Organisationszuordnung
Results 1-4 of 4 (Search time: 0.001 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | ![]() | Borg, Annemarie | Realizing negative introspection into justification logic; proof-theoretic approach | Thesis Hochschulschrift | 2015 |
2 | ![]() | Pavlovi, Sanja | Proof theory for modal logics; embedding between hypersequent calculi and systems of rules | Thesis Hochschulschrift | 2018 |
3 | ![]() | Genco, Francesco Antonio | Intermediate logics and concurrent λ-calculi: a proof-theoretical approach | Thesis Hochschulschrift | 2019 |
4 | ![]() | Ymeri, Ardit | Automated Generation of Analytic Calculi for Involutive Logics | Thesis Hochschulschrift | 2020 |
Results 1-8 of 8 (Search time: 0.0 seconds).
Title | P-Investigator | Project Status |
---|---|---|
Fuzzy Logic: from Mathematics to medical Applications | Ciabattoni, Agata | CLOSED |
Nonclassical Proofs: Theory, Applications and Tools | Ciabattoni, Agata | CLOSED |
Norm-based reasoning: from legal and moral traditions to AI systems | Ciabattoni, Agata | COMPLETED |
Proof-theoretic Analysis of Modal Logics | Ciabattoni, Agata | CLOSED |
Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts | Ciabattoni, Agata | IN PROGRESS |
semantic characterization of cut-elimination | Ciabattoni, Agata | CLOSED |
Syntax meet Semantics: Methods, Interactions, and Connections in Substructural logics | Ciabattoni, Agata | CLOSED |
TICAMORE: Translating and discovering calculi for modal and related logics | Ciabattoni, Agata | IN PROGRESS |