Highly acyclic groups, hypergraph covers, and the guarded fragment

DOI10.1145/2108242.2108247zbMath1281.03008OpenAlexW2044280967MaRDI QIDQ5395677

Martin Otto

Publication date: 17 February 2014

Published in: Journal of the ACM (Search for Journal in Brave)

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

zbMATH Keywords

expressive completenessguarded fragmentfinite model theorygroups of large girth

Mathematics Subject Classification ID

Applications of graph theory (05C90) Hypergraphs (05C65) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Model theory of finite structures (03C13)

Related Items (3)

Unnamed Item ⋮ SOME MODEL THEORY OF GUARDED NEGATION ⋮ INQUISITIVE BISIMULATION

This page was built for publication: Highly acyclic groups, hypergraph covers, and the guarded fragment