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 |