The following pages link to (Q3574475):
Displayed 8 items.
- DEMO (Q40793) (← links)
- The language of social software (Q625718) (← links)
- Logic and social cognition. The facts matter, and so do computational models (Q843769) (← links)
- Verification and strategy synthesis for coalition announcement logic (Q2071573) (← links)
- (Q3384175) (← links)
- Propositional Dynamic Logic as a Logic of Belief Revision (Q3511454) (← links)
- A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic (Q5283435) (← links)
- Program semantics and verification technique for AI-centred programs (Q6174548) (← links)