暂无分享,去创建一个
[1] Yifeng Ding,et al. Epistemic Logic with Functional Dependency Operator , 2017, ArXiv.
[2] Ivano Ciardelli,et al. Questions in logic , 2016 .
[3] W. W. Armstrong,et al. Dependency Structures of Data Base Relationships , 1974, IFIP Congress.
[4] Jelle Gerbrandy,et al. Dynamic epistemic logic , 1998 .
[5] Yanjing Wang,et al. Beyond knowing that: a new generation of epistemic logics , 2016, ArXiv.
[6] Lawrence S. Moss,et al. The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.
[7] Pavel Naumov,et al. An Independence Relation for Sets of Secrets , 2009, Stud Logica.
[8] Floris Roelofsen,et al. Inquisitive dynamic epistemic logic , 2014, Synthese.
[9] Yanjing Wang,et al. Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators , 2013, IJCAI.
[10] Pavel Naumov,et al. Independence in Information Spaces , 2012, Stud Logica.
[11] Alexandru Baltag,et al. To Know is to Know the Value of a Variable , 2016, Advances in Modal Logic.
[12] Yanjing Wang,et al. Conditionally Knowing What , 2014, Advances in Modal Logic.
[13] Jan A. Plaza,et al. Logics of public communications , 2007, Synthese.
[14] Yanjing Wang,et al. "Knowing value'' logic as a normal modal logic , 2016, Advances in Modal Logic.
[15] Pavel Naumov,et al. Rationally Functional Dependence , 2014, J. Philos. Log..
[16] L. Sweeney. Only You, Your Doctor, and Many Others May Know , 2015 .
[17] Jouko A. Väänänen,et al. Dependence Logic - A New Approach to Independence Friendly Logic , 2007, London Mathematical Society student texts.
[18] Pavel Naumov,et al. Functional Dependence in Strategic Games , 2013, Notre Dame J. Formal Log..