Return to search

A Tableau Algorithm for the Clique Guarded Fragment: Preliminary Version

Aus der Einleitung:
„The Guarded Fragment of first-order logic, introduced by Andréka, van Benthem, and Németi, has been a succesful attempt to transfer many good properties of modal, temporal, and description logics to a larger fragment of predicate logic. Among these are decidability, the finite modal property, invariance under an appropriate variant of bisimulation, and other nice modal theoretic properties. ...”
Date20 May 2022
CreatorsHirsch, Colin, Tobies, Stephan
PublisherAachen University of Technology
Source SetsHochschulschriftenserver (HSSS) der SLUB Dresden
Detected LanguageEnglish
Typeinfo:eu-repo/semantics/acceptedVersion, doc-type:report, info:eu-repo/semantics/report, doc-type:Text
Relationurn:nbn:de:bsz:14-qucosa2-785040, qucosa:78504

Page generated in 0.0018 seconds