uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
Dual Choice and Iteration in an Abstract Algebra of Action
Uppsala University, Disciplinary Domain of Humanities and Social Sciences, Faculty of Arts, Department of Philosophy, Logic and Metaphysics.
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
Abstract [en]

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.
Keyword [en]
Logic of action, Abstract algebra, Nondeterministic choice, Program refinement
National Category
Philosophy, Ethics and Religion
URN: urn:nbn:se:uu:diva-183925DOI: 10.1007/s11225-012-9416-9ISI: 000309055600008OAI: oai:DiVA.org:uu-183925DiVA: diva2:565325
Available from: 2012-11-07 Created: 2012-11-05 Last updated: 2013-12-30

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Solin, Kim
By organisation
Logic and Metaphysics
In the same journal
Studia Logica: An International Journal for Symbolic Logic
Philosophy, Ethics and Religion

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 202 hits
ReferencesLink to record
Permanent link

Direct link