Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions (Q636267): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.apal.2009.07.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2087983477
@@ Property / OpenAlex ID: W2087983477 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691140
@@ Property / cites work: Q5691140 / rank @@
+Normal rank
@@ Property / cites work @@
+Tableau Systems for Logics of Subinterval Structures over Dense Orderings
+Normal rank
@@ Property / cites work @@
+Automated Reasoning with Analytic Tableaux and Related Methods
+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 @@
+First-order logic with two variables and unary temporal logic
+Normal rank
@@ Property / cites work @@
+Q3835817
@@ Property / cites work: Q3835817 / rank @@
+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 @@
+On the Decision Problem for Two-Variable First-Order Logic
+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 @@
+Definability with bounded number of bound variables
+Normal rank
@@ Property / cites work @@
+Q2766545
@@ Property / cites work: Q2766545 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of compass logic
@@ Property / cites work: Undecidability of compass logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708923
@@ Property / cites work: Q4708923 / rank @@
+Normal rank
@@ Property / cites work @@
+On languages with two variables
@@ Property / cites work: On languages with two variables / rank @@
+Normal rank
@@ Property / cites work @@
+Two variable first-order logic over ordered domains
+Normal rank
@@ Property / cites work @@
+Q5311049
@@ Property / cites work: Q5311049 / rank @@
+Normal rank
@@ Property / cites work @@
+Expressiveness and completeness of an interval tense logic
+Normal rank
@@ Property / cites work @@
+A Modal Logic for Chopping Intervals
@@ Property / cites work: A Modal Logic for Chopping Intervals / rank @@
+Normal rank