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.005 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 | 2019 |
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 |