LoDEx Research Project
LoDEx Research Project
About
News
People
Events
Publications
Contact
Publications
Type
Conference paper
Date
2024
2023
Agata Ciabattoni
,
Dmitry Rozplokhas
(2024).
Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract)
. IJCAI 2024 Sister Conferences’ Best Paper Track.
PDF
Agata Ciabattoni
,
Matteo Tesi
(2024).
Sequents vs hypersequents for Åqvist systems
.
International Joint Conference on Automated Reasoning
.
PDF
Mario Piazza
,
Matteo Tesi
(2024).
Analyticity with extra-logical information
.
Journal of Logic and Computation
.
PDF
Cite
Eugenio Orlandelli
,
Matteo Tesi
(2024).
A Syntactic Proof of the Decidability of First-Order Monadic Logic
.
Bulletin of the Section of Logic
.
PDF
Cite
Ofer Arieli
,
Kees van Berkel
,
Christian Straßer
(2024).
Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation
.
Proceedings of AAAI 2024
.
PDF
Cite
Matteo Tesi
(2023).
Constructive Theories Through a Modal Lens
.
Logic Journal of the IGPL
.
PDF
Cite
Cite
×