One-dimensional fragment of first-order logic

zbMath1385.03004arXiv1404.4004MaRDI QIDQ4636298

Antti Kuusisto, Lauri Hella

Publication date: 23 April 2018

Full work available at URL: https://arxiv.org/abs/1404.4004

zbMATH Keywords

decidabilityBoolean modal logicfragments of first-order logicextensions of modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25)

Related Items (4)

Separation logics and modalities: a survey ⋮ Uniform guarded fragments ⋮ Unnamed Item ⋮ One-Dimensional Logic over Trees

This page was built for publication: One-dimensional fragment of first-order logic