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…