Nested Sequents for Quantified Modal Logics

DOI10.1007/978-3-031-43513-3_24MaRDI QIDQ6443929zbMATH OpenOpenAlexFDO

Authors Tim S. Lyon, Eugenio Orlandelli

Publication date 16 July 2023

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-031-43513-3_24

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cited in

(3)

• Internal and external calculi: ordering the jungle without being lost in translations
• Nested sequent calculi for some modal logics with non-standard modalities
• Unifying sequent systems for Gödel-Löb provability logic via syntactic transformations

This page was built for publication: Nested Sequents for Quantified Modal Logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6443929)