The following pages link to A simple dynamic logic (Q1087866):
Displaying 6 items.
- Total correctness in nonstandard logics of programs (Q580955) (← links)
- Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics (Q687278) (← links)
- Dynamic negation, the one and only (Q1288172) (← links)
- Hoare's logic for nondeterministic regular programs: A nonstandard approach (Q1822934) (← links)
- Recursive programs and denotational semantics in absolute logics of programs (Q2639051) (← links)
- Reasoning in Dynamic Logic about Program Termination (Q5452190) (← links)