PL
 |
EN
Ograniczanie wyników
Czasopisma help
  1. 1 Fundamenta Informaticae
Autorzy help
  1. 1 Balbiani P.
  2. 1 Vakarelov D.
Lata help
  1. 1 2001
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 1

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  modal rules for intesection
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote Iteration-free PDL with intersection : a complete axiomatization
Balbiani P., Vakarelov D.
Fundamenta Informaticae
|
2001
|
Vol. 45, nr 3
173-194
EN
This paper is devoted to the completeness issue of PDL0Ç - an iteration-free fragment of Propositional Dynamic Logic with intersection of programs. The trouble with PDL0Ç 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 PDL0Ç is complete for the standard Kripke semantics of PDL0Ç.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.