Eugenio Orlandelli

Nested Sequents for Quantified Modal Logics

2023 · arXiv (Cornell University)

This paper studies nested sequents for quantified modal logics. In particular, it considers extensions of the propositional modal logics definable by the axioms D, T, B, 4, and 5 with varying, increasing, decreasing, and constant …

A Syntactic Proof of the Decidability of First-Order Monadic Logic

2024 · Bulletin of the Section of Logic

Decidability of monadic first-order classical logic was established by Löwenheim in 1915. The proof made use of a semantic argument and a purely syntactic proof has never been provided. In the present paper we introduce …