Dual Choice and Iteration in an Abstract Algebra of Action

Studia Logica 100 (3):607-630 (2012)
  Copy   BIBTEX

Abstract

This paper presents an abstract-algebraic formulation of action facilitating reasoning about two opposing agents. Two dual nondeterministic choice operators are formulated abstract-algebraically: angelic (or user) choice and demonic (or system) choice. Iteration operators are also defined. As an application, Hoare-style correctness rules are established by means of the algebra. A negation operator is also discussed

Categories

Keywords

Reprint years

DOI

10.1007/s11225-012-9416-9

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,836

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On agents that have the ability to choose.Wiebe van der Hoek, Bernd van Linder & John-Jules Meyer - 2000 - Studia Logica 66 (1):79-119.
On Agents That Have the Ability to Choose.Wiebe der Van Hoek - 2000 - Studia Logica 66 (1):79-119.
Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning.Marc Aiguier & Isabelle Bloch - 2019 - Journal of Applied Non-Classical Logics 29 (4):392-429.
Supercover Semantics for Deontic Action Logic.Karl Nygren - 2019 - Journal of Logic, Language and Information 28 (3):427-458.
Considerable Sets of Linear Operators in Hilbert Spaces as Operator Generalized Effect Algebras.Jan Paseka & Zdenka Riečanová - 2011 - Foundations of Physics 41 (10):1634-1647.
Free and Projective Bimodal Symmetric Gödel Algebras.Revaz Grigolia, Tatiana Kiseliova & Vladimer Odisharia - 2016 - Studia Logica 104 (1):115-143.
"To be or not to be"≠ "to kill or not to kill" a logic on action negation.Xin Sun - unknown
The semantics of HOARE's iteration rule.Robert Goldblatt - 1982 - Studia Logica 41 (2-3):141 - 158.
Choice-free stone duality.Nick Bezhanishvili & Wesley H. Holliday - 2020 - Journal of Symbolic Logic 85 (1):109-148.
Reconstruction of Contraction Operators.Sven Ove Hansson - 2016 - Erkenntnis 81 (1):185-199.

Analytics

Added to PP
2012-07-03

Downloads
57 (#404,718)

6 months
1 (#1,598,919)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Application of modal logic to programming.Vaughan R. Pratt - 1980 - Studia Logica 39 (2):257 - 274.
Applying modal logic.Krister Segerberg - 1980 - Studia Logica 39 (2-3):275 - 295.

Add more references