Tableau Development for a Bi-intuitionistic Tense Logic

DOI10.1007/978-3-319-06251-8_25MaRDI QIDQ5410499zbMATH OpenOpenAlexWikidataFDO

Authors Renate A. Schmidt, John G. Stell, David Rydeheard

Publication date 16 April 2014

Published in Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL http://eprints.whiterose.ac.uk/78797/8/paper_14%20%281%29_with_coversheet.pdf

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Modal logic (including the logic of norms) (03B45)

Recommendations

• Tableau methods for modal and temporal logics
• Tableaux for intuitionistic logics
• scientific article; zbMATH DE number 1341479
• BDD-based automated reasoning for propositional bi-intuitionistic tense logics
• A general tableau method for propositional interval temporal logics
• Cut-elimination and proof search for bi-intuitionistic tense logic
• scientific article; zbMATH DE number 7650841
• Relational dual tableaux for interval temporal logics
• scientific article; zbMATH DE number 3937153
• An analytic tableau calculus for a temporalised belief logic

Cited in

(3)

• Symmetric Heyting relation algebras with applications to hypergraphs
• A bi-intuitionistic modal logic: foundations and automation
• Axiomatic and tableau-based reasoning for Kt (H, R)

Describes a project that uses

Uses Software

• MetTeL

This page was built for publication: Tableau Development for a Bi-intuitionistic Tense Logic

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