Comparing Semantics of Logics eor Multi-Agent Systems

• 1 March 2004
• journal article
• Published by Springer Nature in Synthese
• Vol. 139  (2) , 241-280
• https://doi.org/10.1023/b:synt.0000024915.66183.d1

Abstract

Keywords

• TRANSITION SYSTEM
• TEMPORAL LOGIC
• GAME MODEL
• EPISTEMIC LOGIC
• EPISTEMIC TRANSITION