LoDEx Research Project
LoDEx Research Project
About
News
People
Events
Publications
Contact
Publications
Type
Conference paper
Date
2024
2023
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
×