Nested Sequents for Quantified Modal Logics

DOI10.1007/978-3-031-43513-3_24arXiv2307.08032OpenAlexW4386723134MaRDI QIDQ6443929FDOQ6443929

Tim S. Lyon, Eugenio Orlandelli

Publication date: 16 July 2023

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)

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)