The following pages link to (Q4016548):
Displaying 16 items.
- Abstraction for model checking multi-agent systems (Q352029) (← links)
- To know or not to know: Epistemic approaches to security protocol verification (Q625717) (← links)
- Reasoning about nondeterministic and concurrent actions: A process algebra approach (Q1277769) (← links)
- View-based explicit knowledge (Q1295424) (← links)
- Common knowledge and update in finite environments (Q1383157) (← links)
- Defaults in domain theory (Q1391866) (← links)
- Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas (Q1589838) (← links)
- Obligation as optimal goal satisfaction (Q1670486) (← links)
- A proof theory for model checking (Q2331070) (← links)
- On the logic of cooperation and propositional control (Q2457673) (← links)
- Symbolic Model Checking the Knowledge in Herbivore Protocol (Q3003428) (← links)
- (Q3434483) (← links)
- Reasoning tractably about explicit belief: A model-theoretic approach (Q4509295) (← links)
- Alternating automata: Unifying truth and validity checking for temporal logics (Q5234701) (← links)
- Verification from Declarative Specifications Using Logic Programming (Q5504672) (← links)
- Belief revision and update: Complexity of model checking (Q5943121) (← links)