Comparing Semantics of Logics for Multi-Agent Systems
- 1 March 2004
- journal article
- Published by Springer Nature in Synthese
- Vol. 139 (2) , 241-280
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- PrefaceElectronic Notes in Theoretical Computer Science, 2004
- Satisfiability in alternating-time temporal logic2003
- Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its ApplicationsStudia Logica, 2003
- Towards a Logic of Rational AgencyLogic Journal of the IGPL, 2003
- A Modal Logic for Coalitional Power in GamesJournal of Logic and Computation, 2002
- On the Relationship Between BDI Logics and Standard Logics of ConcurrencyAutonomous Agents and Multi-Agent Systems, 2000
- Alternating refinement relations1998
- Chapter 2 Games in extensive and strategic forms1992
- CASE for expert systemsKnowledge-Based Systems, 1991
- Temporal and Modal Logic1990