Showing 2024Show all
2 papers · 1 filter
cs.LO2024
On the complexity of Maslov's class
Oskar Fiuk, Emanuel Kieronski, Vincent Michielini
Maslov's class is an expressive fragment of First-Order Logic known to have decidable satisfiability problem, whose exact complexity, however, has not been es…
cs.LO2024
Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic
Oskar Fiuk, Emanuel Kieronski
The uniform one-dimensional fragment of first-order logic was introduced a few years ago as a generalization of the two-variable fragment to contexts involving relations of arity g…