Works matching IS 00393215 AND DT 2016 AND VI 104 AND IP 4
Results: 8
A Logical Theory of Localization.
- Published in:
- Studia Logica, 2016, v. 104, n. 4, p. 741, doi. 10.1007/s11225-015-9625-0
- By:
- Publication type:
- Article
Progression and Verification of Situation Calculus Agents with Bounded Beliefs.
- Published in:
- Studia Logica, 2016, v. 104, n. 4, p. 705, doi. 10.1007/s11225-015-9626-z
- By:
- Publication type:
- Article
Hard and Soft Preparation Sets in Boolean Games.
- Published in:
- Studia Logica, 2016, v. 104, n. 4, p. 813, doi. 10.1007/s11225-015-9629-9
- By:
- Publication type:
- Article
A STIT Logic for Reasoning About Social Influence.
- Published in:
- Studia Logica, 2016, v. 104, n. 4, p. 773, doi. 10.1007/s11225-015-9636-x
- By:
- Publication type:
- Article
Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking.
- Published in:
- Studia Logica, 2016, v. 104, n. 4, p. 641, doi. 10.1007/s11225-015-9637-9
- By:
- Publication type:
- Article
The Undecidability of Quantified Announcements.
- Published in:
- Studia Logica, 2016, v. 104, n. 4, p. 597, doi. 10.1007/s11225-016-9657-0
- By:
- Publication type:
- Article
Special Issue on Logical Aspects of Multi-Agent Systems.
- Published in:
- Studia Logica, 2016, v. 104, n. 4, p. 593, doi. 10.1007/s11225-016-9659-y
- By:
- Publication type:
- Article
A Computationally Grounded, Weighted Doxastic Logic.
- Published in:
- Studia Logica, 2016, v. 104, n. 4, p. 679, doi. 10.1007/s11225-015-9621-4
- By:
- Publication type:
- Article