A semantics for persistency in propositional dynamic logic


Broersen, Jan and Wieringa, Roel and Meyer, John-Jules (2000) A semantics for persistency in propositional dynamic logic. In: First International Conference on Computational Logic, CL 2000, July 24-28, 2000, London, UK (pp. pp. 912-925).

[img] PDF
Restricted to UT campus only
: Request a copy
Abstract:This paper defines a minimal change semantics for PDL, that is based on minimization over a change ordering of labeled Kripke models. The definition of the change ordering has some striking resemblances with the notion of bisimulation. The minimal change semantics for PDL is shown to behave correctly in case of the notorious Yale shooting and stolen car example scenarios.
Item Type:Conference or Workshop Item
Copyright:© 2000 Springer
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/61814
Official URL:http://dx.doi.org/10.1007/3-540-44957-4
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 119641