On the Decision Problem for Two-Variable First-Order Logic (Q4338040): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2124580444
@@ Property / OpenAlex ID: W2124580444 / rank @@
+Normal rank
@@ Property / cites work @@
+A near-optimal method for reasoning about action
@@ Property / cites work: A near-optimal method for reasoning about action / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3905252
@@ Property / cites work: Q3905252 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinitary logic and inductive definability over finite structures
+Normal rank
@@ Property / cites work @@
+On languages with two variables
@@ Property / cites work: On languages with two variables / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Correction to <i>A note on the Entscheidungsproblem</i>
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity results for classes of quantificational formulas
+Normal rank
@@ Property / cites work @@
+Q3856727
@@ Property / cites work: Q3856727 / rank @@
+Normal rank
@@ Property / cites work @@
+The Computational Complexity of Provability in Systems of Modal Propositional Logic
+Normal rank
@@ Property / cites work @@
+An optimal lower bound on the number of variables for graph identification
+Normal rank
@@ Property / cites work @@
+On the expressive power of Datalog: tools and a case study.
+Normal rank
@@ Property / cites work @@
+Infinitary logics and 0-1 laws
@@ Property / cites work: Infinitary logics and 0-1 laws / rank @@
+Normal rank
@@ Property / cites work @@
+-1 laws and decision problems for fragments of second-order logic
+Normal rank
@@ Property / cites work @@
+Über die Erfüllbarkeit derjenigen Zählausdrücke, welche in der Normalform zwei benachbarte Allzeichen enthalten
+Normal rank
@@ Property / cites work @@
+Definability with bounded number of bound variables
+Normal rank
@@ Property / cites work @@
+Q3781066
@@ Property / cites work: Q3781066 / rank @@
+Normal rank
@@ Property / cites work @@
+Upper and lower bounds for first order expressibility
+Normal rank
@@ Property / cites work @@
+A guide to completeness and complexity for modal logics of knowledge and belief
+Normal rank
@@ Property / cites work @@
+Knowledge and common knowledge in a distributed environment
+Normal rank
@@ Property / cites work @@
+Automata-theoretic techniques for modal logics of programs
+Normal rank
@@ Property / cites work @@
+Satisfiability of formulae with one \(\forall\) is decidable in exponential time
+Normal rank
@@ Property / cites work @@
+The unsolvability of the Gödel class with identity
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+Untersuchungen zum Entscheidungsproblem der mathematischen Logik
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4338040