Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, New York (2001)
2. Ding, Y.: Axiomatization and complexity of modal logic with knowing-what operator on model class k (2016). http://arxiv.org/abs/1609.07684
3. Ding, Y.: Epistemic logic with functional dependency operator. Stud. Log. 9(4), 55–84 (2016)
4. Lecture Notes in Computer Science;J Eijck van,2017
5. Galliani, P.: Inclusion and exclusion dependencies in team semantics - on some logics of imperfect information. Ann. Pure Appl. Log. 163(1), 68–84 (2012)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Knowing the Value of a Predicate;Logic, Rationality, and Interaction;2023