BibTeX
@MISC{Eijck04guardedactions,
author = {Jan Van Eijck},
title = {Guarded actions},
year = {2004}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Guarded actions are changes with preconditions acting as a guard. Guarded action models are multimodal Kripke models with the valuations replaced by guarded actions. Call guarded action logic the result of adding product updates with guarded action models to PDL (propositional dynamic logic). We show that guarded action logic reduces to PDL. 1
Citations
| 312 | Propositional dynamic logic of regular programs - Fischer, Ladner - 1979 |
| 172 | The logic of public announcements, common knowledge, and private suspicions - Baltag, Moss, et al. - 1998 |
| 43 | A completeness theorem in the modal logic of programs - Segerberg - 1982 |
| 35 | Dynamic Logic. Foundations of Computing - Harel, Kozen, et al. - 2000 |
| 18 | Benthem. Reduction axioms for epistemic actions - Kooi, van |
| 16 | The completeness of propositional dynamic logic - Parikh - 1978 |
| 10 | Action emulation - Eijck, Ruan, et al. - 2008 |
| 4 | Reducing dynamic epistemic logic to PDL by program transformation - Eijck - 2004 |
