Two-variable logic on data words

M. Bojanczyk C. David A. Muscholl T. Schwentick L. Segoufin 2011 Two-variable logic on data words ACM Trans. Comput. Log. 12 4 27:1–27:26 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 10.1145/1516512.1516515 Benedikt Bollig Arnaud Sangnier Olivier Stietel 2021 Local First-Order Logic with Two Data Values FSTTCS'21 LIPIcs 213 Schloss Dagstuhl - Leibniz-Zentrum für Informatik 39:1–39:15 10.4230/LIPIcs.FSTTCS.2021.39 Egon Börger Erich Grädel Yuri Gurevich 1997 The Classical Decision Problem Perspectives in Mathematical Logic Springer 10.1023/A:1008334715902 N. Decker P. Habermehl M. Leucker D. Thoma 2014 Ordered Navigation on Multi-attributed Data Words Paolo Baldan Daniele Gorla CONCUR'14 Lecture Notes in Computer Science 8704 Springer 497–511 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 279–295 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 1051–1053 10.1007/s11225-012-9439-2 H. Gaifman 1982 On local and nonlocal properties J. Stern Logic Colloquium '81 North-Holland 105–135 10.1016/S0049-237X(08)71879-2 W. Hanf 1965 Model-theoretic methods in the study of elementary logic J.W. Addison L. Henkin A. Tarski The Theory of Models North Holland 132–145 10.2307/2271017 A. Janiczak 1953 Undecidability of some simple formalized theories Fundamenta Mathematicae 40 131–139 10.2307/2964197 A. Kara T. Schwentick T. Zeume 2010 Temporal Logics on Words with Multiple Data Values Kamal Lodaya Meena Mahajan FSTTCS'10 LIPIcs 8 Schloss Dagstuhl - Leibniz-Zentrum für Informatik 481–492 10.4230/LIPIcs.FSTTCS.2010.481 E. Kieronski 2005 Results on the Guarded Fragment with Equivalence or Transitive Relations C.-H. Luke Ong CSL'05 Lecture Notes in Computer Science 3634 Springer 309–324 10.1007/11538363_22 E. Kieronski L. Tendera 2009 On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations LICS'09 IEEE 123–132 10.1109/LICS.2009.39 L. Libkin 2004 Elements of Finite Model Theory Texts in Theoretical Computer Science. An EATCS Series Springer 10.1007/978-3-662-07003-1 A. Manuel T. Zeume 2013 Two-Variable Logic on 2-Dimensional Structures Simona Ronchi Della Rocca CSL'13 LIPIcs 23 Schloss Dagstuhl - Leibniz-Zentrum für Informatik 484–499 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 493–514 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 8:1–8:39 10.1145/2559945