Showing 2026Show all
3 papers · 1 filter
cs.LO2026
Maslov's class K with Equivalence
Oskar Fiuk
Maslov's class K is a decidable fragment of equality-free first-order logic. It subsumes numerous classical decidable fragments, including the equality-free monadic fragment, the e…
cs.LO2026
The Guarded Fragment with Nested Equivalences
Oskar Fiuk
The Guarded Fragment (GF) is a well-established decidable fragment of first-order logic. We study an extension of GF with nested equivalence relations, namely a family of distingui…
cs.LO2026
Random Models and the Guarded Fragment
Oskar Fiuk
Building on ideas of Gurevich and Shelah for the Gödel Class, we present a new probabilistic proof of the finite model property for the Guarded Fragment of First-Order Logic. Our p…