The following pages link to (Q5596237):
Displaying 32 items.
- Logical analysis of demonic nondeterministic programs (Q671651) (← links)
- Gentzen-type axiomatization for PAL (Q688720) (← links)
- The propositional dynamic logic of deterministic, well-structured programs (Q801682) (← links)
- Equivalences among logics of programs (Q801684) (← links)
- An essay in combinatory dynamic logic (Q809068) (← links)
- Strong completeness and limited canonicity for PDL (Q1006490) (← links)
- Process logic with regular formulas (Q1062047) (← links)
- PDL with data constants (Q1065545) (← links)
- Programs and logics (Q1070221) (← links)
- Non-standard algorithmic and dynamic logic (Q1077159) (← links)
- A simple dynamic logic (Q1087866) (← links)
- Program-substitution and admissibility of rules in algorithmic logic (Q1092655) (← links)
- Modal resolution in clausal form (Q1118577) (← links)
- Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic (Q1139368) (← links)
- Application of modal logic to programming (Q1150592) (← links)
- Proving total correctness of nondeterministic programs in infinitary logic (Q1155605) (← links)
- Expressing program looping in regular dynamic logic (Q1161284) (← links)
- On logic of complex algorithms (Q1162145) (← links)
- Process logic: Expressiveness, decidability, completeness (Q1168965) (← links)
- On the computational complexity of satisfiability in propositional logics of programs (Q1170028) (← links)
- Dynamic algebras: Examples, constructions, applications (Q1189900) (← links)
- Propositional dynamic logic of regular programs (Q1258296) (← links)
- Stratified least fixpoint logic (Q1331926) (← links)
- On the elimination of iteration quantifiers in a fragment of algorithmic logic (Q1837179) (← links)
- Logic of transition systems (Q1895974) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Contribution of Warsaw logicians to computational logic (Q2422533) (← links)
- The mu-calculus and Model Checking (Q3176384) (← links)
- Étude et implémentation d'un système de déduction pour logique algorithmique (Q3802671) (← links)
- (Q3927214) (← links)
- (Q4742767) (← links)
- Helena Rasiowa (1917-1994) Life and Personality (Q6164812) (← links)
