scientific article; zbMATH DE number 3315203

From MaRDI portal
Publication:5596237

zbMath0198.02801MaRDI QIDQ5596237

Andrzej Salwicki

Publication date: 1970


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items

Non-standard algorithmic and dynamic logicStratified least fixpoint logicA simple dynamic logicProgram-substitution and admissibility of rules in algorithmic logicThe mu-calculus and Model CheckingLogic of transition systemsModal resolution in clausal formProving the correctness of regular deterministic programs: A unifying survey using dynamic logicContribution of Warsaw logicians to computational logicHelena Rasiowa (1917-1994) Life and PersonalityApplication of modal logic to programmingUnnamed ItemProving total correctness of nondeterministic programs in infinitary logicExpressing program looping in regular dynamic logicOn logic of complex algorithmsProcess logic: Expressiveness, decidability, completenessOn the computational complexity of satisfiability in propositional logics of programsÉtude et implémentation d'un système de déduction pour logique algorithmiqueUnnamed ItemLogical analysis of demonic nondeterministic programsDynamic algebras: Examples, constructions, applicationsGentzen-type axiomatization for PALFifty years of Hoare's logicStrong completeness and limited canonicity for PDLPropositional dynamic logic of regular programsOn the elimination of iteration quantifiers in a fragment of algorithmic logicProcess logic with regular formulasThe propositional dynamic logic of deterministic, well-structured programsEquivalences among logics of programsPDL with data constantsAn essay in combinatory dynamic logicPrograms and logics