Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic

Documenti analoghi

• Two-Variable Logic for Hierarchically Partitioned and Ordered Data
  di: Fiuk, Oskar, et al.
  Pubblicazione: (2025)
• On the complexity of Maslov's class $\overline{\text{K}}$
  di: Fiuk, Oskar, et al.
  Pubblicazione: (2024)
• One-Dimensional Fragment over Words and Trees
  di: Kieronski, Emanuel, et al.
  Pubblicazione: (2021)
• Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards (Extended Version)
  di: Bednarczyk, Bartosz, et al.
  Pubblicazione: (2025)
• The Guarded Fragment with Nested Equivalences
  di: Fiuk, Oskar
  Pubblicazione: (2026)