M. Bojanczyk, C. David, A. Muscholl, T. Schwentick & L. Segoufin (2011):
Two-variable logic on data words.
ACM Trans. Comput. Log. 12(4),
pp. 27:1–27:26,
doi:10.1145/1970398.1970403.
M. Bojanczyk, A. Muscholl, T. Schwentick & L. Segoufin (2009):
Two-variable logic on data trees and XML reasoning.
J. ACM 56(3),
doi:10.1145/1516512.1516515.
Benedikt Bollig, Arnaud Sangnier & Olivier Stietel (2021):
Local First-Order Logic with Two Data Values.
In: FSTTCS'21,
LIPIcs 213.
Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
pp. 39:1–39:15,
doi:10.4230/LIPIcs.FSTTCS.2021.39.
Egon Börger, Erich Grädel & Yuri Gurevich (1997):
The Classical Decision Problem.
Perspectives in Mathematical Logic.
Springer,
doi:10.1023/A:1008334715902.
N. Decker, P. Habermehl, M. Leucker & D. Thoma (2014):
Ordered Navigation on Multi-attributed Data Words.
In: Paolo Baldan & Daniele Gorla: CONCUR'14,
Lecture Notes in Computer Science 8704.
Springer,
pp. 497–511,
doi:10.1007/978-3-662-44584-6_34.
Kousha Etessami, Moshe Y. Vardi & Thomas Wilke (2002):
First-Order Logic with Two Variables and Unary Temporal Logic.
Inf. Comput. 179(2),
pp. 279–295,
doi:10.1006/inco.2001.2953.
Melvin Fitting (2012):
Torben Braüner, Hybrid Logic and its Proof-Theory, Applied Logic Series Volume 37, Springer, 2011, pp. XIII+231. ISBN: 978-94-007-0001-7.
Stud Logica 100(5),
pp. 1051–1053,
doi:10.1007/s11225-012-9439-2.
H. Gaifman (1982):
On local and nonlocal properties.
In: J. Stern: Logic Colloquium '81.
North-Holland,
pp. 105–135,
doi:10.1016/S0049-237X(08)71879-2.
W. Hanf (1965):
Model-theoretic methods in the study of elementary logic.
In: J.W. Addison, L. Henkin & A. Tarski: The Theory of Models.
North Holland,
pp. 132–145,
doi:10.2307/2271017.
A. Janiczak (1953):
Undecidability of some simple formalized theories.
Fundamenta Mathematicae 40,
pp. 131–139,
doi:10.2307/2964197.
A. Kara, T. Schwentick & T. Zeume (2010):
Temporal Logics on Words with Multiple Data Values.
In: Kamal Lodaya & Meena Mahajan: FSTTCS'10,
LIPIcs 8.
Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
pp. 481–492,
doi:10.4230/LIPIcs.FSTTCS.2010.481.
E. Kieronski (2005):
Results on the Guarded Fragment with Equivalence or Transitive Relations.
In: C.-H. Luke Ong: CSL'05,
Lecture Notes in Computer Science 3634.
Springer,
pp. 309–324,
doi:10.1007/11538363_22.
E. Kieronski & L. Tendera (2009):
On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations.
In: LICS'09.
IEEE,
pp. 123–132,
doi:10.1109/LICS.2009.39.
L. Libkin (2004):
Elements of Finite Model Theory.
Texts in Theoretical Computer Science. An EATCS Series.
Springer,
doi:10.1007/978-3-662-07003-1.
A. Manuel & T. Zeume (2013):
Two-Variable Logic on 2-Dimensional Structures.
In: Simona Ronchi Della Rocca: CSL'13,
LIPIcs 23.
Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
pp. 484–499,
doi:10.4230/LIPIcs.CSL.2013.484.
Martin Mundhenk & Thomas Schneider (2009):
The Complexity of Hybrid Logics over Equivalence Relations.
J. Log. Lang. Inf. 18(4),
pp. 493–514,
doi:10.1007/s10849-009-9089-6.
T. Tan (2014):
Extending two-variable logic on data trees with order on data values and its automata.
ACM Trans. Comput. Log. 15(1),
pp. 8:1–8:39,
doi:10.1145/2559945.