The following pages link to A logic for extensional protocols (Q2901223):
Displaying 9 items.
- Hidden protocols: modifying our expectations in an evolving world (Q490513) (← links)
- A knowledge based semantics of messages (Q1403408) (← links)
- Towards a logic of tweeting (Q1679744) (← links)
- A new logic for electronic commerce protocols (Q1853749) (← links)
- Intensional protocols for dynamic epistemic logic (Q2295601) (← links)
- (Q2767198) (← links)
- Completeness and counter-example generations of a basic protocol logic (extended abstract) (Q2863872) (← links)
- Model Transformers for Dynamical Systems of Dynamic Epistemic Logic (Q3457715) (← links)
- (Q5851846) (← links)