Metric propositional neighborhood logic with an equivalence relation (Q329414): Difference between revisions

@@ Property / DOI @@
-.1007/s00236-016-0256-3
@@ Property / DOI: 10.1007/s00236-016-0256-3 / rank @@
-Normal rank
@@ Property / cites work @@
+Weak MSO with the unbounding quantifier
@@ Property / cites work: Weak MSO with the unbounding quantifier / rank @@
+Normal rank
@@ Property / cites work @@
+Two-variable logic on data words
@@ Property / cites work: Two-variable logic on data words / rank @@
+Normal rank
@@ Property / cites work @@
+Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability
+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 @@
+An optimal decision procedure for right propositional neighborhood logic
+Normal rank
@@ Property / cites work @@
+Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers
+Normal rank
@@ Property / cites work @@
+LTL with the freeze quantifier and register automata
+Normal rank
@@ Property / cites work @@
+Automated Reasoning with Analytic Tableaux and Related Methods
+Normal rank
@@ Property / cites work @@
+On the Decision Problem for Two-Variable First-Order Logic
+Normal rank
@@ Property / cites work @@
+On the reachability problem for 5-dimensional vector addition systems
+Normal rank
@@ Property / cites work @@
+Parallel program schemata
@@ Property / cites work: Parallel program schemata / rank @@
+Normal rank
@@ Property / cites work @@
+Two-Variable First-Order Logic with Equivalence Closure
+Normal rank
@@ Property / cites work @@
+Small substructures and decidability issues for first-order logic with two variables
+Normal rank
@@ Property / cites work @@
+Q3113783
@@ Property / cites work: Q3113783 / rank @@
+Normal rank
@@ Property / cites work @@
+Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness
+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 @@
+On the decidability and complexity of Metric Temporal Logic over finite words
+Normal rank
@@ Property / cites work @@
+A Modal Logic for Chopping Intervals
@@ Property / cites work: A Modal Logic for Chopping Intervals / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00236-016-0256-3
@@ Property / DOI: 10.1007/S00236-016-0256-3 / rank @@
+Normal rank