Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers (Q391115): 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.1016/j.tcs.2012.10.043
+Normal rank
@@ Property / OpenAlex ID @@
+W2008796796
@@ Property / OpenAlex ID: W2008796796 / rank @@
+Normal rank
@@ Property / cites work @@
+A Modal Logic for Chopping Intervals
@@ Property / cites work: A Modal Logic for Chopping Intervals / rank @@
+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 @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+A Road Map of Interval Temporal Logics and Duration Calculi
+Normal rank
@@ Property / cites work @@
+Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
+Normal rank
@@ Property / cites work @@
+Two variable first-order logic over ordered domains
+Normal rank
@@ Property / cites work @@
+Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders
+Normal rank
@@ Property / cites work @@
+Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability
+Normal rank
@@ Property / cites work @@
+An optimal decision procedure for right propositional neighborhood logic
+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 @@
+Expressiveness and completeness of an interval tense logic
+Normal rank