scientific article; zbMATH DE number 7802068

zbMath1530.68125arXiv2209.10309MaRDI QIDQ6191001

Arnaud Sangnier, Benedikt Bollig, Unnamed Author

Publication date: 8 February 2024

Full work available at URL: https://arxiv.org/abs/2209.10309

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in computer science (03B70) Descriptive complexity and finite models (68Q19)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Elements of finite model theory.
• The complexity of hybrid logics over equivalence relations
• First-order logic with two variables and unary temporal logic
• Temporal Logics on Words with Multiple Data Values.
• Two-variable logic on data words
• Two-Variable Logic on 2-Dimensional Structures.
• Ordered Navigation on Multi-attributed Data Words
• Two-variable logic on data trees and XML reasoning
• Computer Science Logic
• Extending two-variable logic on data trees with order on data values and its automata
• Undecidability of some simple formalized theories
• Hybrid logic and its proof-theory