scientific article

zbMATH Open0903.03014MaRDI QIDQ3838807

Simon Thompson, Howard Bowman

Publication date: 5 January 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

tableau methodpropositional interval temporal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35)

Related Items (2)

A decision procedure for propositional projection temporal logic with infinite models ⋮ Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings

Recommendations

• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• A general tableau method for propositional interval temporal logics: theory and implementation 👍 👎
• A tableau construction for finite linear-time temporal logic 👍 👎
• A tableau for general linear temporal logic 👍 👎
• Relational dual tableaux for interval temporal logics ★ 👍 👎
• A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief 👍 👎
• A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection 👍 👎
• A Complete Proof System for First-order Interval Temporal Logic with Projection 👍 👎
• Automated Reasoning with Analytic Tableaux and Related Methods 👍 👎

This page was built for publication: