Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders

DOI10.1007/978-3-642-22119-4_8zbMath1333.03006OpenAlexW19621713MaRDI QIDQ3010361

Pietro Sala, Angelo Montanari, Davide Bresolin, Guido Sciavicco

Publication date: 1 July 2011

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

Full work available at URL: https://doi.org/10.1007/978-3-642-22119-4_8

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)

Related Items (6)

Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\) ⋮ Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers ⋮ Interval Temporal Logic for Visibly Pushdown Systems ⋮ Interval vs. Point Temporal Logic Model Checking ⋮ Unnamed Item ⋮ Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals

Cites Work

• Unnamed Item
• Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
• An optimal decision procedure for right propositional neighborhood logic
• Temporal prepositions and their logic
• A general tableau method for propositional interval temporal logics: theory and implementation
• Two variable first-order logic over ordered domains
• Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders
• Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals
• An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic
• A Modal Logic for Chopping Intervals
• A propositional modal logic of time intervals
• A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection
• Automated Reasoning with Analytic Tableaux and Related Methods
• A Road Map of Interval Temporal Logics and Duration Calculi

This page was built for publication: Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders