Dual Choice and Iteration in an Abstract Algebra of Action
2012 (English)In: Studia Logica: An International Journal for Symbolic Logic, ISSN 0039-3215, E-ISSN 1572-8730, Vol. 100, no 3, 607-630 p.Article in journal (Refereed) Published
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.
Place, publisher, year, edition, pages
2012. Vol. 100, no 3, 607-630 p.
Logic of action, Abstract algebra, Nondeterministic choice, Program refinement
Philosophy, Ethics and Religion
IdentifiersURN: urn:nbn:se:uu:diva-183925DOI: 10.1007/s11225-012-9416-9ISI: 000309055600008OAI: oai:DiVA.org:uu-183925DiVA: diva2:565325