Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable (Q5109226): Difference between revisions

Latest revision as of 15:54, 22 July 2024

scientific article; zbMATH DE number 7198318

Language	Label	Description	Also known as
English	Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable	scientific article; zbMATH DE number 7198318

Statements

instance of

scholarly article

0 references

title

Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable (English)

0 references

author

Ian Pratt-Hartmann

0 references

published in

Mathematical Logic Quarterly

0 references

publication date

11 May 2020

0 references

full work available at URL

https://arxiv.org/abs/1707.05558

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Complexity of Two-Variable Logic on Finite Trees

0 references

Q5691140

0 references

On the Decision Problem for Two-Variable First-Order Logic

0 references

Q4417866

0 references

Computer Science Logic

0 references

Decidability Issues for Two-Variable Logics with Several Linear Orders

0 references

Two-Variable First-Order Logic with Equivalence Closure

0 references

Two variable first-order logic over ordered domains

0 references

Two-Variable Logic with Two Order Relations

0 references

Q2957894

0 references

Order-Invariance of Two-Variable Logic is Decidable

0 references

Identifiers

DOI

10.1002/malq.201700055

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5109226

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2781656311
@@ Property / OpenAlex ID: W2781656311 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Two-Variable Logic on Finite Trees
@@ Property / cites work: Complexity of Two-Variable Logic on Finite Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691140
@@ Property / cites work: Q5691140 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Decision Problem for Two-Variable First-Order Logic
+Normal rank
@@ Property / cites work @@
+Q4417866
@@ Property / cites work: Q4417866 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability Issues for Two-Variable Logics with Several Linear Orders
+Normal rank
@@ Property / cites work @@
+Two-Variable First-Order Logic with Equivalence Closure
+Normal rank
@@ Property / cites work @@
+Two variable first-order logic over ordered domains
+Normal rank
@@ Property / cites work @@
+Two-Variable Logic with Two Order Relations
@@ Property / cites work: Two-Variable Logic with Two Order Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q2957894
@@ Property / cites work: Q2957894 / rank @@
+Normal rank
@@ Property / cites work @@
+Order-Invariance of Two-Variable Logic is Decidable
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5109226