Works matching IS 00397857 AND DT 2009 AND VI 169 AND IP 2
Results: 11
Bridging learning theory and dynamic epistemic logic.
- Published in:
- Synthese, 2009, v. 169, n. 2, p. 371, doi. 10.1007/s11229-009-9549-1
- By:
- Publication type:
- Article
Determining the environment: a modal logic for closed interaction.
- Published in:
- Synthese, 2009, v. 169, n. 2, p. 351, doi. 10.1007/s11229-009-9550-8
- By:
- Publication type:
- Article
Dynamic epistemic logic with branching temporal structures.
- Published in:
- Synthese, 2009, v. 169, n. 2, p. 259, doi. 10.1007/s11229-009-9552-6
- By:
- Publication type:
- Article
Keep ‘hoping’ for rationality: a solution to the backward induction paradox.
- Published in:
- Synthese, 2009, v. 169, n. 2, p. 301, doi. 10.1007/s11229-009-9559-z
- By:
- Publication type:
- Article
Verifying time, memory and communication bounds in systems of reasoning agents.
- Published in:
- Synthese, 2009, v. 169, n. 2, p. 385, doi. 10.1007/s11229-009-9557-1
- By:
- Publication type:
- Article
Inference and update.
- Published in:
- Synthese, 2009, v. 169, n. 2, p. 283, doi. 10.1007/s11229-009-9556-2
- By:
- Publication type:
- Article
Logic and intelligent interaction.
- Published in:
- Synthese, 2009, v. 169, n. 2, p. 219, doi. 10.1007/s11229-009-9558-0
- By:
- Publication type:
- Article
Intentions and interactive transformations of decision problems.
- Published in:
- Synthese, 2009, v. 169, n. 2, p. 335, doi. 10.1007/s11229-009-9553-5
- By:
- Publication type:
- Article
Introspective forgetting.
- Published in:
- Synthese, 2009, v. 169, n. 2, p. 405, doi. 10.1007/s11229-009-9554-4
- By:
- Publication type:
- Article
Reasoning about cooperation, actions and preferences.
- Published in:
- Synthese, 2009, v. 169, n. 2, p. 223, doi. 10.1007/s11229-009-9551-7
- By:
- Publication type:
- Article
Extending probabilistic dynamic epistemic logic.
- Published in:
- Synthese, 2009, v. 169, n. 2, p. 241, doi. 10.1007/s11229-009-9555-3
- By:
- Publication type:
- Article