David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 41 (2-3):141 - 158 (1982)
Hoare's Iteration Rule is a principle of reasoning that is used to derive correctness assertions about the effects of implementing a while-command. We show that the propositional modal logic of this type of command is axiomatised by Hoare's rule in conjunction with two additional axioms. The proof also establishes decidability of the logic. The paper concludes with a discussion of the relationship between the logic of while and Segerberg's axiomatisation of propositional dynamic logic.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Citations of this work BETA
No citations found.
Similar books and articles
Jan Van Eijck & Fer-Jan De Vries (1995). Reasoning About Update Logic. Journal of Philosophical Logic 24 (1):19 - 45.
Athanassios Tzouvaras (2003). The Logic of Multisets Continued: The Case of Disjunction. Studia Logica 75 (3):287 - 304.
Ildikó Sain (1989). An Elementary Proof for Some Semantic Characterizations of Nondeterministic Floyd-Hoare Logic. Notre Dame Journal of Formal Logic 30 (4):563-573.
L. Lismont (1994). Common Knowledge: Relating Anti-Founded Situation Semantics to Modal Logic Neighbourhood Semantics. [REVIEW] Journal of Logic, Language and Information 3 (4):285-302.
Brian Hill & Francesca Poggiolesi (2010). A Contraction-Free and Cut-Free Sequent Calculus for Propositional Dynamic Logic. Studia Logica 94 (1):47 - 72.
Renate A. Schmidt & Dmitry Tishkovsky (2008). On Combinations of Propositional Dynamic Logic and Doxastic Modal Logics. Journal of Logic, Language and Information 17 (1):109-129.
Jan Eijck & Fer-Jan Vries (1992). Dynamic Interpretation and HOARE Deduction. Journal of Logic, Language and Information 1 (1):1-44.
Aleksandar Ignjatović (1994). Hilbert's Program and the Omega-Rule. Journal of Symbolic Logic 59 (1):322-343.
Added to index2009-01-28
Total downloads16 ( #167,478 of 1,726,249 )
Recent downloads (6 months)4 ( #183,615 of 1,726,249 )
How can I increase my downloads?