Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic
作者： Xiaowei Huang , Ron van der Meyden
DOI: 10.1007/978-3-642-10439-8_2
关键词:
摘要: Abstract Model checking games are instances of Hintikka's game semantics for logic used for purposes of debugging systems verification models. Previous work in the area has …
springer.com
harvard.edu
unsw.edu.au 
sci-hub.st 参考文章(25)
Ron van der Meyden, Ka-shu Wong, Complete axiomatizations for reasoning about knowledge and branching time Studia Logica. ,vol. 75, pp. 93- 123 ,(2003) , 10.1023/A:1026181001368
Jaakko Hintikka, Logic, language-games and information : Kantian themes in the philosophy of logic Clarendon Press. ,(1973)
Kai Baukus, Ron van der Meyden, A Knowledge Based Analysis of Cache Coherence international conference on formal engineering methods. pp. 99- 114 ,(2004) , 10.1007/978-3-540-30482-1_15
Wiebe van der Hoek, John-Jules Ch. Meyer, Epistemic logic for AI and computer science ,(1995)
Peter Gammie, Ron van der Meyden, MCK: Model Checking the Logic of Knowledge Computer Aided Verification. ,vol. 3114, pp. 479- 483 ,(2004) , 10.1007/978-3-540-27813-9_41
Kevin Leyton-Brown, Yoav Shoham, Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations ,(2008)
Rajeev Alur, Kousha Etessami, P. Madhusudan, A Temporal Logic of Nested Calls and Returns tools and algorithms for construction and analysis of systems. ,vol. 2988, pp. 467- 481 ,(2004) , 10.1007/978-3-540-24730-2_35
Colin Stirling, Lokal Model Checking Games international conference on concurrency theory. pp. 1- 11 ,(1995)
Edmund M. Clarke, E. Allen Emerson, Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic Logic of Programs, Workshop. pp. 52- 71 ,(1981) , 10.1007/BFB0025774
Martin Lange, Colin Stirling, Model Checking Games for Branching Time Logics Journal of Logic and Computation. ,vol. 12, pp. 623- 639 ,(2002) , 10.1093/LOGCOM/12.4.623