scientific article; zbMATH DE number 3315203
From MaRDI portal
Publication:5596237
zbMATH Open0198.02801MaRDI QIDQ5596237FDOQ5596237
Authors: Andrzej Salwicki 
Publication date: 1970
Title of this publication is not available (Why is that?)
Cited In (32)
- Étude et implémentation d'un système de déduction pour logique algorithmique
- Program-substitution and admissibility of rules in algorithmic logic
- 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
- Contribution of Warsaw logicians to computational logic
- Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic
- Logic of transition systems
- The propositional dynamic logic of deterministic, well-structured programs
- Fifty years of Hoare's logic
- Propositional dynamic logic of regular programs
- 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
- Title not available (Why is that?)
- Process logic with regular formulas
- Programs and logics
- Title not available (Why is that?)
- On the elimination of iteration quantifiers in a fragment of algorithmic logic
- Logical analysis of demonic nondeterministic programs
- 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)
