An optimal decision procedure for right propositional neighborhood logic
DOI10.1007/S10817-006-9051-0zbMATH Open1121.03027OpenAlexW1991802248MaRDI QIDQ877892FDOQ877892
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
Recommendations
- Automated Reasoning with Analytic Tableaux and Related Methods
- An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic
- Optimal tableau systems for propositional neighborhood logic over all, dense, and discrete linear orders
- Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders
- On Decidability and Expressiveness of Propositional Interval Neighborhood Logics
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
- 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
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- A general tableau method for propositional interval temporal logics: theory and implementation
- Title not available (Why is that?)
- Automated Reasoning with Analytic Tableaux and Related Methods
Cited In (15)
- A survey on temporal logics for specifying and verifying real-time systems
- Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
- An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic
- 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
- Automated Reasoning with Analytic Tableaux and Related Methods
- Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders
- On Decidability and Expressiveness of Propositional Interval Neighborhood Logics
- 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)
