Ordered Fragments of First-Order Logic
Jaakkola, Reijo (2021-08-01)
Jaakkola, Reijo
Teoksen toimittaja(t)
Bonchi, Filippo
Puglisi, Simon J.
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
01.08.2021
46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021
Julkaisun pysyvä osoite on
https://urn.fi/URN:NBN:fi:tuni-202110137558
https://urn.fi/URN:NBN:fi:tuni-202110137558
Kuvaus
Peer reviewed
Tiivistelmä
Using a recently introduced algebraic framework for classifying fragments of first-order logic, we study the complexity of the satisfiability problem for several ordered fragments of first-order logic, which are obtained from the ordered logic and the fluted logic by modifying some of their syntactical restrictions.
Kokoelmat
- TUNICRIS-julkaisut [16929]