The following pages link to Sequential dynamic logic (Q2255197):
Displaying 6 items.
- Sequence semantics for dynamic predicate logic (Q1314278) (← links)
- Causal dynamic inference (Q1935591) (← links)
- Sequent calculi for propositional star-free likelihood logic (Q2571505) (← links)
- Loop-free verification of termination of derivation for a fragment of dynamic logic (Q2811594) (← links)
- A calculus of substitutions for DPL (Q5951894) (← links)
- Implicational Kleene algebra with domain and the substructural logic of partial correctness (Q6646014) (← links)