The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf
.
Deciding regular grammar logics with converse through first-order logic
[article]
2004
arXiv
pre-print
We provide a simple translation of the satisfiability problem for regular grammar logics with converse into GF2, which is the intersection of the guarded fragment and the 2-variable fragment of first-order logic. This translation is theoretically interesting because it translates modal logics with certain frame conditions into first-order logic, without explicitly expressing the frame conditions. A consequence of the translation is that the general satisfiability problem for regular grammar
arXiv:cs/0306117v2
fatcat:zshbraohbbeybh2rgpohohrrha