Uniform Guarded Fragments
Jaakkola, Reijo (2022)
Jaakkola, Reijo
Teoksen toimittaja(t)
Bouyer, Patricia
Schröder, Lutz
Springer
2022
Julkaisun pysyvä osoite on
https://urn.fi/URN:NBN:fi:tuni-202205104610
https://urn.fi/URN:NBN:fi:tuni-202205104610
Kuvaus
Peer reviewed
Tiivistelmä
In this paper we prove that the uniform one-dimensional guarded fragment, which is a natural polyadic generalization of guarded two-variable logic, has the Craig interpolation property. We will also prove that the satisfiability problem of uniform guarded fragment is NExpTime-complete.
Kokoelmat
- TUNICRIS-julkaisut [16908]