3 citations · 3 across the 3 of their papers we have counts for
6 papers
Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
Tim S. Lyon, Eugenio Orlandelli
We introduce cut-free nested sequent systems for a broad class of quantified modal logics (QMLs). The QMLs we consider are semantically defined using relational models that assign…
Nested Sequents for Quantified Modal Logics
Tim S. Lyon, Eugenio Orlandelli
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 w…
Non-Normal Super-Strict Implications
Guido Gherardi, Eugenio Orlandelli
This paper introduces the logics of super-strict implications that are based on C.I. Lewis' non-normal modal logics S2 and S3. The semantics of these logics is based on Kripke's se…
Labelled calculi for quantified modal logics with definite descriptions
Eugenio Orlandelli
We introduce labelled sequent calculi for quantified modal logics with definite descriptions. We prove that these calculi have the good structural properties of G3-style calculi. I…
Sequent calculi and interpolation for non-normal modal and deonticlogics
Eugenio Orlandelli
G3-style sequent calculi for the logics in the cube of non-normal modal logics and for their deontic extensions are studied. For each calculus we prove that weakening and contracti…
Interpolation in extensions of first-order logic
Guido Gherardi, Paolo Maffezioli, Eugenio Orlandelli
We prove a generalization of Maehara's lemma to show that the extensions of classical and intuitionistic first-order logic with a special type of geometric axioms, called singular…