The following pages link to (Q3740223):
Displaying 9 items.
- \textit{Once} and \textit{for all} (Q439961) (← links)
- Temporal logics for concurrent recursive programs: satisfiability and model checking (Q472794) (← links)
- A minimal logic for interactive epistemology (Q516245) (← links)
- Interactions between knowledge, action and commitment within agent dynamic logic (Q1770620) (← links)
- Answering regular path queries in expressive description logics via alternating tree-automata (Q2252521) (← links)
- Model checking propositional dynamic logic with all extras (Q2494725) (← links)
- Nondeterministic program schemata and their relation to dynamic logic (Q3034804) (← links)
- Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse (Q5747763) (← links)
- Automated temporal reasoning about reactive systems (Q6560389) (← links)
