The following pages link to (Q2767039):
Displaying 5 items.
- An implementation of Kripke-Kleene semantics (Q1292578) (← links)
- Introducing reactive Kripke semantics and arc accessibility (Q1935595) (← links)
- The refinement extension principle for semantics of dynamic logic programming (Q2574878) (← links)
- Observational Semantics for Dynamic Logic with Binders (Q5208504) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424860) (← links)