A semantics for persistency in propositional dynamic logic

Jan Broersen; Roelf J. Wieringa; John-Jules Meyer

doi:10.1007/3-540-44957-4

A semantics for persistency in propositional dynamic logic

Jan Broersen, Roelf J. Wieringa, John-Jules Meyer

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

1 Citation (Scopus)

12 Downloads (Pure)

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.

Original language	Undefined
Title of host publication	First International Conference on Computational Logic (CL2000)
Editors	John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey
Place of Publication	Berlin/Heidelberg, Germany
Publisher	Springer
Pages	912-925
Number of pages	14
ISBN (Print)	978-3-540-67797-0
DOIs	https://doi.org/10.1007/3-540-44957-4 https://doi.org/10.1007/3-540-44957-4_61
Publication status	Published - Jul 2000
Event	First International Conference on Computational Logic, CL 2000 - London, UK Duration: 24 Jul 2000 → 28 Jul 2000

Publication series

Name	Lecture Notes in Artificial Intelligence
Publisher	Springer
Volume	1861
ISSN (Print)	0302-9743

Conference

Conference	First International Conference on Computational Logic, CL 2000
Period	24/07/00 → 28/07/00
Other	July 24-28, 2000

Keywords

SCS-Services
METIS-119641
IR-61814
EWI-10553

Access to Document

http://eprints.eemcs.utwente.nl/secure2/10553/01/fulltext.pdf

Cite this

Broersen, J., Wieringa, R. J., & Meyer, J.-J. (2000). A semantics for persistency in propositional dynamic logic. In J. Lloyd, V. Dahl, U. Furbach, M. Kerber, K.-K. Lau, C. Palamidessi, L. M. Pereira, Y. Sagiv, & P. J. Stuckey (Eds.), First International Conference on Computational Logic (CL2000) (pp. 912-925). (Lecture Notes in Artificial Intelligence; Vol. 1861). Springer. https://doi.org/10.1007/3-540-44957-4, https://doi.org/10.1007/3-540-44957-4_61

Broersen, Jan ; Wieringa, Roelf J. ; Meyer, John-Jules. / A semantics for persistency in propositional dynamic logic. First International Conference on Computational Logic (CL2000). editor / John Lloyd ; Veronica Dahl ; Ulrich Furbach ; Manfred Kerber ; Kung-Kiu Lau ; Catuscia Palamidessi ; Luís Moniz Pereira ; Yehoshua Sagiv ; Peter J. Stuckey. Berlin/Heidelberg, Germany : Springer, 2000. pp. 912-925 (Lecture Notes in Artificial Intelligence).

@inproceedings{4a6899d21ae94edfb7586b8d2a57a165,

title = "A semantics for persistency in propositional dynamic logic",

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.",

keywords = "SCS-Services, METIS-119641, IR-61814, EWI-10553",

author = "Jan Broersen and Wieringa, {Roelf J.} and John-Jules Meyer",

year = "2000",

month = jul,

doi = "10.1007/3-540-44957-4",

language = "Undefined",

isbn = "978-3-540-67797-0",

series = "Lecture Notes in Artificial Intelligence",

publisher = "Springer",

pages = "912--925",

editor = "John Lloyd and Veronica Dahl and Ulrich Furbach and Manfred Kerber and Kung-Kiu Lau and Catuscia Palamidessi and Pereira, {Lu{\'i}s Moniz} and Yehoshua Sagiv and Stuckey, {Peter J.}",

booktitle = "First International Conference on Computational Logic (CL2000)",

address = "Germany",

note = "First International Conference on Computational Logic, CL 2000 ; Conference date: 24-07-2000 Through 28-07-2000",

}

Broersen, J, Wieringa, RJ & Meyer, J-J 2000, A semantics for persistency in propositional dynamic logic. in J Lloyd, V Dahl, U Furbach, M Kerber, K-K Lau, C Palamidessi, LM Pereira, Y Sagiv & PJ Stuckey (eds), First International Conference on Computational Logic (CL2000). Lecture Notes in Artificial Intelligence, vol. 1861, Springer, Berlin/Heidelberg, Germany, pp. 912-925, First International Conference on Computational Logic, CL 2000, 24/07/00. https://doi.org/10.1007/3-540-44957-4, https://doi.org/10.1007/3-540-44957-4_61

A semantics for persistency in propositional dynamic logic. / Broersen, Jan; Wieringa, Roelf J.; Meyer, John-Jules.
First International Conference on Computational Logic (CL2000). ed. / John Lloyd; Veronica Dahl; Ulrich Furbach; Manfred Kerber; Kung-Kiu Lau; Catuscia Palamidessi; Luís Moniz Pereira; Yehoshua Sagiv; Peter J. Stuckey. Berlin/Heidelberg, Germany: Springer, 2000. p. 912-925 (Lecture Notes in Artificial Intelligence; Vol. 1861).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

TY - GEN

T1 - A semantics for persistency in propositional dynamic logic

AU - Broersen, Jan

AU - Wieringa, Roelf J.

AU - Meyer, John-Jules

PY - 2000/7

Y1 - 2000/7

N2 - 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.

AB - 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.

KW - SCS-Services

KW - METIS-119641

KW - IR-61814

KW - EWI-10553

U2 - 10.1007/3-540-44957-4

DO - 10.1007/3-540-44957-4

M3 - Conference contribution

SN - 978-3-540-67797-0

T3 - Lecture Notes in Artificial Intelligence

SP - 912

EP - 925

BT - First International Conference on Computational Logic (CL2000)

A2 - Lloyd, John

A2 - Dahl, Veronica

A2 - Furbach, Ulrich

A2 - Kerber, Manfred

A2 - Lau, Kung-Kiu

A2 - Palamidessi, Catuscia

A2 - Pereira, Luís Moniz

A2 - Sagiv, Yehoshua

A2 - Stuckey, Peter J.

PB - Springer

CY - Berlin/Heidelberg, Germany

T2 - First International Conference on Computational Logic, CL 2000

Y2 - 24 July 2000 through 28 July 2000

ER -

Broersen J, Wieringa RJ, Meyer JJ. A semantics for persistency in propositional dynamic logic. In Lloyd J, Dahl V, Furbach U, Kerber M, Lau KK, Palamidessi C, Pereira LM, Sagiv Y, Stuckey PJ, editors, First International Conference on Computational Logic (CL2000). Berlin/Heidelberg, Germany: Springer. 2000. p. 912-925. (Lecture Notes in Artificial Intelligence). doi: 10.1007/3-540-44957-4, 10.1007/3-540-44957-4_61