Logics with counting and local properties

DOI10.1145/343369.343376zbMath1365.03025OpenAlexW2013208146MaRDI QIDQ5738897

Leonid O. Libkin

Publication date: 13 June 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/343369.343376

zbMATH Keywords

first-order logiccountinginfinitary logiclocality

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Other infinitary logic (03C75)

Related Items (9)

Shrinking games and local formulas ⋮ The complexity of first-order and monadic second-order logic revisited ⋮ A logical approach to locality in pictures languages ⋮ An existential locality theorem ⋮ Expressive power of SQL. ⋮ An optimal construction of Hanf sentences ⋮ Expressive power of entity-linking frameworks ⋮ Game-based notions of locality over finite models ⋮ Pebble Weighted Automata and Weighted Logics

This page was built for publication: Logics with counting and local properties