|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 5 van 8 gevonden artikelen
| Titel: |
Iteration-free PDL with Intersection: a Complete Axiomatization |
| Auteur: |
Balbiani, Philippe Vakarelov, Dimiter |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 45 (2003) nr. 3 pagina's 173-194 |
| Jaar: |
2003-07-11 |
| Inhoud: |
This paper is devoted to the completeness issue of PDLcap0 – an iteration-free fragment of Propositional Dynamic Logic with intersection of programs. The trouble with PDLcap0 is that the operation of intersection is not modally definable. Using new techniques connected with rules for intersection and the notions of large and maximal programs, the paper demonstrates that the presented proof theory for PDLcap0 is complete for the standard Kripke semantics of PDLcap0. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 5 van 8 gevonden artikelen
| << vorige | volgende >> |