A tableau method for interval temporal logic with projection

DOI10.1007/3-540-69778-0_17MaRDI QIDQ3838807zbMATH OpenFDO

Authors Simon Thompson, Howard Bowman

Publication date 5 January 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-69778-0_17

zbMATH Keywords

propositional interval temporal logictableau method

Mathematics Subject Classification ID

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

Recommendations

• A general tableau method for propositional interval temporal logics
• A general tableau method for propositional interval temporal logics: theory and implementation
• scientific article; zbMATH DE number 3937153
• Tableau methods for modal and temporal logics
• A tableau construction for finite linear-time temporal logic
• A tableau for general linear temporal logic
• Relational dual tableaux for interval temporal logics
• A Complete Proof System for First-order Interval Temporal Logic with Projection
• A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection
• A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief

Cited in

(10)

• An application of temporal projection to interleaving concurrency
• Interconnections between classes of sequentially compositional temporal formulas
• A decision procedure for propositional projection temporal logic with infinite models
• A general tableau method for propositional interval temporal logics: theory and implementation
• 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
• Complete and terminating tableau for the logic of proper subinterval structures over dense orderings
• A separation theorem for discrete-time interval temporal logic
• A general tableau method for propositional interval temporal logics
• An application of temporal projection to interleaving concurrency

This page was built for publication: A tableau method for interval temporal logic with projection

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