Pubblicazioni

Some Results in Non-monotonic Proof-Theoretic Semantics

2025 - STUDIA LOGICA
D'Aragona, Antonio Piccolomini

Calculi of Epistemic Grounding Based on Prawitz’s Theory of Grounds

2022 - STUDIA LOGICA
d’Aragona, Antonio Piccolomini

Denotational Semantics for Languages of Epistemic Grounding Based on Prawitz’s Theory of Grounds

2021 - STUDIA LOGICA
d’Aragona, Antonio Piccolomini

Progression and Verification of Situation Calculus Agents with Bounded Beliefs

2016 - STUDIA LOGICA
DE GIACOMO, Giuseppe; Lesperance, Y.; Patrizi, Fabio; Vassos, Stavros

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma