|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.|
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|Through your library||Only published papers are available at libraries|
Similar books and articles
Antje Nowack (2005). A Guarded Fragment for Abstract State Machines. Journal of Logic, Language and Information 14 (3):345-368.
Balder ten Cate & Massimo Franceschet (2005). Guarded Fragments with Constants. Journal of Logic, Language and Information 14 (3).
Erich Grädel (1999). On the Restraining Power of Guards. Journal of Symbolic Logic 64 (4):1719-1742.
Johan van Benthem (2005). Guards, Bounds, and Generalized Semantics. Journal of Logic, Language and Information 14 (3):263-279.
Gregory McColm (2004). Guarded Quantification in Least Fixed Point Logic. Journal of Logic, Language and Information 13 (1):61-110.
Ian Hodkinson (2002). Loosely Guarded Fragment of First-Order Logic has the Finite Model Property. Studia Logica 70 (2):205 - 240.
Ian Hodkinson & Martin Otto (2003). Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures. Bulletin of Symbolic Logic 9 (3):387-405.
Dirk Leinders, Maarten Marx, Jerzy Tyszkiewicz & Jan Van den Bussche (2005). The Semijoin Algebra and the Guarded Fragment. Journal of Logic, Language and Information 14 (3):331-343.
Eva Hoogland & Maarten Marx (2002). Interpolation and Definability in Guarded Fragments. Studia Logica 70 (3):373 - 409.
Balder ten Cate & Massimo Franceschet (2005). Guarded Fragments with Constants. Journal of Logic 14 (3):281-288.
Added to index2009-01-28
Total downloads3 ( #213,434 of 722,933 )
Recent downloads (6 months)0
How can I increase my downloads?