Loading...
Decidability of ordered fragments of FOL via modal translation
Title / Series / Name
Publication Volume
Publication Issue
Pages
Authors
Editors
Keywords
Decidability
Fragments of first-order logic
Modal logic
Tree model property
BC Logic
General Computer Science
Fragments of first-order logic
Modal logic
Tree model property
BC Logic
General Computer Science
URI
https://hdl.handle.net/20.500.14018/27267
Abstract
We present a simplification and a modification of a method introduced by Herzig to prove the decidability of Quine’s ordered fragment of first-order logic. The method consists in an interpretation of quantifiers as modal operators. We show that our modification yields the decidability of two new ordered fragments of first-order logic, called the grooved fragment and the loosely grooved fragment, whose expressive power lies between Quine’s ordered fragment and the fluted fragment.
Topic
Publisher
Place of Publication
Type
Date
2024