A general tableau method for propositional interval temporal logics

DOI10.1007/B12030MaRDI QIDQ5187862zbMATH OpenOpenAlexFDO

Authors Angelo Montanari, Guido Sciavicco, Valentin Goranko

Publication date 9 March 2010

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

Full work available at URL https://doi.org/10.1007/b12030

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Temporal logic (03B44) Structure of proofs (03F07)

Recommendations

• A general tableau method for propositional interval temporal logics: theory and implementation
• Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders
• scientific article; zbMATH DE number 1189099
• scientific article; zbMATH DE number 6131597
• Relational dual tableaux for interval temporal logics

Cited in

(19)

• Tableau methods for modal and temporal logics
• Designing tableau-like axiomatization for propositional linear temporal logic at home of Arthur Prior
• A general tableau method for propositional interval temporal logics: theory and implementation
• scientific article; zbMATH DE number 3889506 (Why is no real title available?)
• A survey on temporal logics for specifying and verifying real-time systems
• scientific article; zbMATH DE number 7199592 (Why is no real title available?)
• An optimal decision procedure for right propositional neighborhood logic
• A new modal logic for reasoning about space: spatial propositional neighborhood logic
• Metric propositional neighborhood logic with an equivalence relation
• Temporal prepositions and their logic
• Relational dual tableaux for interval temporal logics
• Optimal tableau systems for propositional neighborhood logic over all, dense, and discrete linear orders
• PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic
• A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief
• Tableau method and NEXPTIME-completeness of DEL-sequents
• Tableau Development for a Bi-intuitionistic Tense Logic
• Complete and terminating tableau for the logic of proper subinterval structures over dense orderings
• scientific article; zbMATH DE number 1189099 (Why is no real title available?)
• An event-based fragment of first-order logic over intervals

This page was built for publication: A general tableau method for propositional interval temporal logics

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