Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders (Q3010361): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-22119-4_8
+Normal rank
@@ Property / OpenAlex ID @@
+W19621713
@@ Property / OpenAlex ID: W19621713 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691140
@@ Property / cites work: Q5691140 / rank @@
+Normal rank
@@ Property / cites work @@
+A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection
+Normal rank
@@ Property / cites work @@
+Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
+Normal rank
@@ Property / cites work @@
+An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic
+Normal rank
@@ Property / cites work @@
+Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders
+Normal rank
@@ Property / cites work @@
+An optimal decision procedure for right propositional neighborhood logic
+Normal rank
@@ Property / cites work @@
+Automated Reasoning with Analytic Tableaux and Related Methods
+Normal rank
@@ Property / cites work @@
+A Road Map of Interval Temporal Logics and Duration Calculi
+Normal rank
@@ Property / cites work @@
+A general tableau method for propositional interval temporal logics: theory and implementation
+Normal rank
@@ Property / cites work @@
+A propositional modal logic of time intervals
@@ Property / cites work: A propositional modal logic of time intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals
+Normal rank
@@ Property / cites work @@
+Two variable first-order logic over ordered domains
+Normal rank
@@ Property / cites work @@
+Temporal prepositions and their logic
@@ Property / cites work: Temporal prepositions and their logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Modal Logic for Chopping Intervals
@@ Property / cites work: A Modal Logic for Chopping Intervals / rank @@
+Normal rank