Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalog
| dc.creator | Blass, Andreas | |
| dc.creator | Gurevich, Yuri | |
| dc.date | 2008-11-06 | |
| dc.date.accessioned | 2026-07-07T10:16:25Z | |
| dc.date.available | 2026-07-07T10:16:25Z | |
| dc.description | A natural liberalization of Datalog is used in the Distributed Knowledge Authorization Language (DKAL). We show that the expressive power of this liberal Datalog is that of existential fixed-point logic. The exposition is self-contained. | |
| dc.identifier | https://arxiv.org/abs/0811.0977 | |
| dc.identifier | http://arxiv.org/abs/0811.0977 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/173503 | |
| dc.subject | Logic in Computer Science | |
| dc.title | Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalog | |
| dc.type | text |