An optimal decision procedure for right propositional neighborhood logic
DOI10.1007/S10817-006-9051-0zbMATH Open1121.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
Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A propositional modal logic of time intervals
- Decision procedures and expressiveness in the temporal logic of branching time
- Two variable first-order logic over ordered domains
- A Modal Logic for Chopping Intervals
- A Road Map of Interval Temporal Logics and Duration Calculi
- Automated Reasoning with Analytic Tableaux and Related Methods
- Deciding full branching time logic
- A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection
- A general tableau method for propositional interval temporal logics: theory and implementation
- Automated Reasoning with Analytic Tableaux and Related Methods
Cited In (12)
- A survey on temporal logics for specifying and verifying real-time systems
- Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
- Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\)
- Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
- A new modal logic for reasoning about space: spatial propositional neighborhood logic
- Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings
- The dark side of interval temporal logic: marking the undecidability border
- Metric propositional neighborhood logic with an equivalence relation
- Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers
- Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders
- Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders
- A separation theorem for discrete-time interval temporal logic
This page was built for publication: An optimal decision procedure for right propositional neighborhood logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q877892)
