Studia Logica 41 (2-3):141 - 158 (1982)
|Abstract||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)|
|Through your library||Configure|
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 downloads5 ( #169,891 of 722,704 )
Recent downloads (6 months)1 ( #60,247 of 722,704 )
How can I increase my downloads?