Dual choice and iteration in an abstract algebra of action

Solin, Kim (2012) Dual choice and iteration in an abstract algebra of action. Studia Logica, 100 3: 607-630. doi:10.1007/s11225-012-9416-9

Author Solin, Kim
Title Dual choice and iteration in an abstract algebra of action
Journal name Studia Logica   Check publisher's open access policy
ISSN 0039-3215
Publication date 2012
Sub-type Article (original research)
DOI 10.1007/s11225-012-9416-9
Open Access Status
Volume 100
Issue 3
Start page 607
End page 630
Total pages 24
Place of publication Dordrecht, Netherlands
Publisher Springer
Language eng
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.
Keyword Abstract algebra
Logic of action
Nondeterministic choice
Program refinement
Q-Index Code C1
Q-Index Status Provisional Code
Institutional Status Non-UQ

Document type: Journal Article
Sub-type: Article (original research)
Collection: School of Information Technology and Electrical Engineering Publications
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 2 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 2 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Wed, 19 Mar 2014, 14:28:22 EST by Kim Solin on behalf of School of Information Technol and Elec Engineering