Analytic proofs for tense logic

DOI10.1007/978-3-032-06085-3_12MaRDI QIDQ6860384zbMATH OpenFDO

Authors Agata Ciabattoni, Timo Lang, Revantha Ramanayake

Publication date 10 February 2026

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

tense logicsequent calculuscut-eliminationanalytic proofsanalytic restriction

Mathematics Subject Classification ID

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

This page was built for publication: Analytic proofs for tense logic

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