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, CL2000, July 24-28, 2000, London, UK.

PDF
Restricted to UT campus only: Request a copy
176Kb

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:	Information Systems (IS)
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

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 119641