Back to Search
Start Over
Dual Choice and Iteration in an Abstract Algebra of Action.
- Source :
- Studia Logica; Jun2012, Vol. 100 Issue 3, p607-630, 24p
- Publication Year :
- 2012
-
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. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 00393215
- Volume :
- 100
- Issue :
- 3
- Database :
- Complementary Index
- Journal :
- Studia Logica
- Publication Type :
- Academic Journal
- Accession number :
- 77494545
- Full Text :
- https://doi.org/10.1007/s11225-012-9416-9