Tableaux for some modal-tense logics Graham Priest's fashion

DOI10.1007/S11225-021-09974-XMaRDI QIDQ2144188zbMATH OpenOpenAlexFDO

Authors Juan Carlos Sánchez Hernández

Publication date 1 June 2022

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-021-09974-x

zbMATH Keywords

always sentencesconditional logicforward convergencemultimodal logictimelines

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Tableau methods for modal and temporal logics
• Tableaus for many-valued modal logic
• Tableaux for relation-changing modal logics
• Tableau metatheorem for modal logics
• scientific article; zbMATH DE number 3877148
• scientific article; zbMATH DE number 1538059
• scientific article; zbMATH DE number 1775472
• TABLEAUX: A general theorem prover for modal logics
• scientific article; zbMATH DE number 4072929
• A tableau system for the modal -calculus

Cites work

• An introduction to non-classical logic. From if to is
• scientific article; zbMATH DE number 1852919 (Why is no real title available?)
• Quantified temporal alethic boulesic doxastic logic
• Splitting logics
• Tree trimming: four non-branching rules for Priest's \textit{Introduction to non-classical logic}

This page was built for publication: Tableaux for some modal-tense logics Graham Priest's fashion

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