The following pages link to (Q3574475):
Displaying 11 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)
- Software tool support for modular reasoning in modal logics of actions (Q1791146) (← links)
- Verification and strategy synthesis for coalition announcement logic (Q2071573) (← links)
- (Q3384175) (← links)
- Propositional Dynamic Logic as a Logic of Belief Revision (Q3511454) (← links)
- Getting Demos models right. (II) … and theory (Q4787129) (← links)
- Aximo: Automated Axiomatic Reasoning for Information Update (Q4982122) (← links)
- A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic (Q5283435) (← links)
- Program semantics and verification technique for AI-centred programs (Q6174548) (← links)