Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders

DOI10.1007/978-3-540-87803-2_7MaRDI QIDQ3532458zbMATH OpenOpenAlexFDO

Authors Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco

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

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

Recommendations

• Optimal tableau systems for propositional neighborhood logic over all, dense, and discrete linear orders
• A tableau system for right propositional neighborhood logic over finite linear orders: an implementation
• Automated Reasoning with Analytic Tableaux and Related Methods
• An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic
• An optimal decision procedure for right propositional neighborhood logic
• Optimal tableaux for conditional logics with cautious monotonicity
• Optimal tableau algorithms for coalgebraic logics
• A tableau system for instantial neighborhood logic
• Tableaux for logics of subinterval structures over dense orderings
• Optimal and cut-free tableaux for propositional dynamic logic with converse

Cites work

• 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
• A Modal Logic for Chopping Intervals
• A propositional modal logic of time intervals
• An optimal decision procedure for right propositional neighborhood logic
• An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic
• On Decidability and Expressiveness of Propositional Interval Neighborhood Logics
• Tableau Systems for Logics of Subinterval Structures over Dense Orderings
• Two variable first-order logic over ordered domains

Cited in

(11)

• 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
• A tableau system for right propositional neighborhood logic over finite linear orders: an implementation
• Optimal tableau systems for propositional neighborhood logic over all, dense, and discrete linear orders
• 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
• A general tableau method for propositional interval temporal logics
• On Decidability and Expressiveness of Propositional Interval Neighborhood Logics
• Automated Reasoning with Analytic Tableaux and Related Methods
• Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
• An optimal decision procedure for right propositional neighborhood logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3532458)