A semantics for persistency in propositional dynamic logic


Share/Save/Bookmark

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, CL2000, July 24-28, 2000, London, UK (pp. pp. 912-925).

[img] PDF
Restricted to UT campus only
: Request a copy
180kB
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
Faculty:
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
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 119641