An optimal decision procedure for right propositional neighborhood logic

DOI10.1007/s10817-006-9051-0zbMath1121.03027OpenAlexW1991802248MaRDI QIDQ877892

Angelo Montanari, Guido Sciavicco, Davide Bresolin

Publication date: 4 May 2007

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-006-9051-0

zbMATH Keywords

interval temporal logicright propositional neighborhood logictableaux-based decision procedures

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Temporal logic (03B44)

Related Items

Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\), Metric propositional neighborhood logic with an equivalence relation, A separation theorem for discrete-time interval temporal logic, Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers, A survey on temporal logics for specifying and verifying real-time systems, Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions, Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders, Interval temporal logics over strongly discrete linear orders: expressiveness and complexity, A new modal logic for reasoning about space: spatial propositional neighborhood logic, Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders, The dark side of interval temporal logic: marking the undecidability border, Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Decision procedures and expressiveness in the temporal logic of branching time
• A general tableau method for propositional interval temporal logics: theory and implementation
• Two variable first-order logic over ordered domains
• Deciding full branching time 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
• Automated Reasoning with Analytic Tableaux and Related Methods
• A Road Map of Interval Temporal Logics and Duration Calculi