Works matching IS 00393215 AND DT 2003 AND VI 75 AND IP 1
Results: 6
Preface.
- Published in:
- Studia Logica, 2003, v. 75, n. 1, p. 3, doi. 10.1023/a:1026171312755
- By:
- Publication type:
- Article
Complete Axiomatizations for Reasoning about Knowledge and Branching Time.
- Published in:
- Studia Logica, 2003, v. 75, n. 1, p. 93, doi. 10.1023/a:1026181001368
- By:
- Publication type:
- Article
Deontic Interpreted Systems.
- Published in:
- Studia Logica, 2003, v. 75, n. 1, p. 63, doi. 10.1023/a:1026176900459
- By:
- Publication type:
- Article
The Russian Cards Problem.
- Published in:
- Studia Logica, 2003, v. 75, n. 1, p. 31, doi. 10.1023/a:1026168632319
- By:
- Publication type:
- Article
Memory of Past Beliefs and Actions.
- Published in:
- Studia Logica, 2003, v. 75, n. 1, p. 7, doi. 10.1023/a:1026112530502
- By:
- Publication type:
- Article
Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications.
- Published in:
- Studia Logica, 2003, v. 75, n. 1, p. 125, doi. 10.1023/a:1026185103185
- By:
- Publication type:
- Article