Complete and terminating tableau for the logic of proper subinterval structures over dense orderings

DOI10.1016/J.ENTCS.2009.02.033MaRDI QIDQ4982118zbMATH OpenOpenAlexFDO

Authors Davide Bresolin

Publication date 23 March 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2009.02.033

zbMATH Keywords

interval temporal logictableau methoddense structure

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44) Logic in computer science (03B70)

Recommendations

• Tableaux for logics of subinterval structures over dense orderings
• Tableau Systems for Logics of Subinterval Structures over Dense Orderings
• A general tableau method for propositional interval temporal logics
• Optimal tableau systems for propositional neighborhood logic over all, dense, and discrete linear orders
• Automated Reasoning with Analytic Tableaux and Related Methods

Cites work

• scientific article; zbMATH DE number 1696444 (Why is no real title available?)
• scientific article; zbMATH DE number 1189099 (Why is no real title available?)
• scientific article; zbMATH DE number 512815 (Why is no real title available?)
• scientific article; zbMATH DE number 1500558 (Why is no real title available?)
• scientific article; zbMATH DE number 1931665 (Why is no real title available?)
• A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection
• A propositional modal logic of time intervals
• An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic
• An optimal decision procedure for right propositional neighborhood logic
• Automated Reasoning with Analytic Tableaux and Related Methods
• Interval logics and their decision procedures. I: An interval logic
• On Decidability and Expressiveness of Propositional Interval Neighborhood Logics
• Tableau Systems for Logics of Subinterval Structures over Dense Orderings

Cited in

(4)

• Tableaux for logics of subinterval structures over dense orderings
• Mining approximate interval-based temporal dependencies
• Tableau Systems for Logics of Subinterval Structures over Dense Orderings
• On begins, meets and before

This page was built for publication: Complete and terminating tableau for the logic of proper subinterval structures over dense orderings

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