scientific article; zbMATH DE number 3315203

Cited in

(32)

Program-substitution and admissibility of rules in algorithmic logic
Étude et implémentation d'un système de déduction pour logique algorithmique
Gentzen-type axiomatization for PAL
Application of modal logic to programming
Proving total correctness of nondeterministic programs in infinitary logic
On logic of complex algorithms
Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic
Contribution of Warsaw logicians to computational logic
Logic of transition systems
The propositional dynamic logic of deterministic, well-structured programs
Propositional dynamic logic of regular programs
Fifty years of Hoare's logic
Helena Rasiowa (1917-1994) Life and Personality
Strong completeness and limited canonicity for PDL
Non-standard algorithmic and dynamic logic
A simple dynamic logic
The mu-calculus and Model Checking
Dynamic algebras: Examples, constructions, applications
On the computational complexity of satisfiability in propositional logics of programs
An essay in combinatory dynamic logic
Stratified least fixpoint logic
Modal resolution in clausal form
Process logic: Expressiveness, decidability, completeness
scientific article; zbMATH DE number 3741356 (Why is no real title available?)
Process logic with regular formulas
Programs and logics
scientific article; zbMATH DE number 3797730 (Why is no real title available?)
Logical analysis of demonic nondeterministic programs
On the elimination of iteration quantifiers in a fragment of algorithmic logic
Equivalences among logics of programs
PDL with data constants
Expressing program looping in regular dynamic logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5596237)