3 papers
math.LO2020
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…
math.LO2019
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…
math.LO2018
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…