scientific article; zbMATH DE number 3315203
From MaRDI portal
Publication:5596237
zbMath0198.02801MaRDI QIDQ5596237
Publication date: 1970
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Non-standard algorithmic and dynamic logic ⋮ Stratified least fixpoint logic ⋮ A simple dynamic logic ⋮ Program-substitution and admissibility of rules in algorithmic logic ⋮ The mu-calculus and Model Checking ⋮ Logic of transition systems ⋮ Modal resolution in clausal form ⋮ Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic ⋮ Contribution of Warsaw logicians to computational logic ⋮ Helena Rasiowa (1917-1994) Life and Personality ⋮ Application of modal logic to programming ⋮ Unnamed Item ⋮ Proving total correctness of nondeterministic programs in infinitary logic ⋮ Expressing program looping in regular dynamic logic ⋮ On logic of complex algorithms ⋮ Process logic: Expressiveness, decidability, completeness ⋮ On the computational complexity of satisfiability in propositional logics of programs ⋮ Étude et implémentation d'un système de déduction pour logique algorithmique ⋮ Unnamed Item ⋮ Logical analysis of demonic nondeterministic programs ⋮ Dynamic algebras: Examples, constructions, applications ⋮ Gentzen-type axiomatization for PAL ⋮ Fifty years of Hoare's logic ⋮ Strong completeness and limited canonicity for PDL ⋮ Propositional dynamic logic of regular programs ⋮ On the elimination of iteration quantifiers in a fragment of algorithmic logic ⋮ Process logic with regular formulas ⋮ The propositional dynamic logic of deterministic, well-structured programs ⋮ Equivalences among logics of programs ⋮ PDL with data constants ⋮ An essay in combinatory dynamic logic ⋮ Programs and logics