Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond
作者： Johan van Benthem , Jan van Eijck , Malvin Gattinger , Kaile Su
关键词:
摘要: Dynamic Epistemic Logic (DEL) can model complex information scenarios in a way that appeals to logicians. However, existing DEL implementations are ad-hoc, so we do not know …
oup.com
sci-hub.se 参考文章(30)
Hans van Ditmarsch, The Russian Cards Problem Studia Logica. ,vol. 75, pp. 31- 62 ,(2003) , 10.1023/A:1026168632319
Guanfeng Lv, Kaile Su, Yanyan Xu, CacBDD: A BDD Package with Dynamic Cache Management Computer Aided Verification. pp. 229- 234 ,(2013) , 10.1007/978-3-642-39799-8_15
John Edensor Littlewood, A mathematician's miscellany ,(1953)
Alexandru Baltag, Lawrence S. Moss, Sławomir Solecki, The logic of public announcements, common knowledge, and private suspicions theoretical aspects of rationality and knowledge. pp. 43- 56 ,(1998) , 10.1007/978-3-319-20451-2_38
Nikos Gorogiannis, Mark D. Ryan, Implementation of Belief Change Operators Using BDDs Studia Logica. ,vol. 70, pp. 131- 156 ,(2002) , 10.1023/A:1014610426691
Kaile Su, Abdul Sattar, Xiangyu Luo, Model Checking Temporal Logics of Knowledge Via OBDDs1 The Computer Journal. ,vol. 50, pp. 403- 420 ,(2007) , 10.1093/COMJNL/BXM009
H. van Ditmarsch, W. van der Hoek, J. Ruan, Connecting dynamic epistemic and temporal epistemic logics Logic Journal of the IGPL. ,vol. 21, pp. 380- 403 ,(2013) , 10.1093/JIGPAL/JZR038
Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano, A geometric protocol for cryptography with cards Designs, Codes and Cryptography. ,vol. 74, pp. 113- 125 ,(2015) , 10.1007/S10623-013-9855-Y
Jan van Eijck, Simona Orzan, Epistemic Verification of Anonymity Electronic Notes in Theoretical Computer Science. ,vol. 168, pp. 159- 174 ,(2007) , 10.1016/J.ENTCS.2006.08.026
Alessio Lomuscio, Hongyang Qu, Franco Raimondi, MCMAS: an open-source model checker for the verification of multi-agent systems International Journal on Software Tools for Technology Transfer. ,vol. 19, pp. 9- 30 ,(2017) , 10.1007/S10009-015-0378-X