Studia Logica 100 (3):607-630 (2012)
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
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
Application of Modal Logic to Programming.Vaughan R. Pratt - 1980 - Studia Logica 39 (2-3):257 - 274.
Citations of this work BETA
No citations found.
Similar books and articles
Finite Support Iteration and Strong Measure Zero Sets.Janusz Pawlikowski - 1990 - Journal of Symbolic Logic 55 (2):674-677.
Disbelief as the Dual of Belief.John D. Norton - 2007 - International Studies in the Philosophy of Science 21 (3):231 – 252.
From Volitionalism to the Dual Aspect Theory of Action.Joshua Stuchlik - 2013 - Philosophia 41 (3):867-886.
A Dual Characterization of Subdirectly Irreducible BAOs.Yde Venema - 2004 - Studia Logica 77 (1):105 - 115.
Added to index2012-07-03
Total downloads32 ( #156,934 of 2,153,783 )
Recent downloads (6 months)2 ( #279,963 of 2,153,783 )
How can I increase my downloads?