Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders

DOI10.1007/978-3-540-87803-2_7zbMath1178.03030OpenAlexW1510555712MaRDI QIDQ3532458

Davide Bresolin, Pietro Sala, Guido Sciavicco, Angelo Montanari

Publication date: 27 October 2008

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-87803-2_7

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Related Items (6)

Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings ⋮ Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers ⋮ Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions ⋮ Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders ⋮ The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT ⋮ The dark side of interval temporal logic: marking the undecidability border

Cites Work

• An optimal decision procedure for right propositional neighborhood logic
• A general tableau method for propositional interval temporal logics: theory and implementation
• Two variable first-order logic over ordered domains
• 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
• Tableau Systems for Logics of Subinterval Structures over Dense Orderings
• On Decidability and Expressiveness of Propositional Interval Neighborhood Logics

This page was built for publication: Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders