Browsing by Author Wang, Yanjing

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 1 to 20 of 28  next >
Issue DateTitleAuthor(s)
2017Achieving While Maintaining: A Logic of Knowing How with Intermediate ConstraintsLi, Yanjun; Wang, Yanjing
2013An alternative axiomatization of DEL and its applicationsWang, Yanjing; Aucher, Guillaume
2014Conditionally knowing whatWang, Yanjing; Fan, Jie
2015CONTINGENCY AND KNOWING WHETHERFan, Jie; Wang, Yanjing; Van Ditmarsch, Hans
2019A dynamic epistemic framework for reasoning about conformant probabilistic plansLi, Yanjun; Kooi, Barteld; Wang, Yanjing
2015Epistemic InformativenessWang, Yanjing; Fan, Jie
2011Hidden protocolsVan Ditmarsch, Hans; Ghosh, Sujata; Verbrugge, Rineke; Wang, Yanjing
2014Hidden protocols: Modifying our expectations in an evolving worldvan Ditmarsch, Hans; Ghosh, Sujata; Verbrugge, Rineke; Wang, Yanjing
2013Knowing that, knowing what, and public communication: Public announcement logic with Kv operatorsWang, Yanjing; Fan, Jie
2017Knowing Values and Public Inspectionvan Eijck, Jan; Gattinger, Malvin; Wang, Yanjing
2016KNOWING YOUR ABILITYLau, Tszyuen; Wang, Yanjing
2011Logic of Information Flow on Communication ChannelsWang, Yanjing; Sietsma, Floor; van Eijck, Jan
2015A Logic of Knowing HowWang, Yanjing
2014Logical Dynamics of Information and InteractionWang, Yanjing
2017More for free: a dynamic epistemic framework for conformant planning over transition systemsLi, Yanjun; Yu, Quan; Wang, Yanjing
May-2021Neighborhood semantics for logic of knowing howLi, Yanjun; Wang, Yanjing
2017A new modal framework for epistemic logicWang, Yanjing
2014Not all those who wander are lost: Dynamic epistemic reasoning in navigationWang, Yanjing; Li, Yanjun
2011On Axiomatizations of PALWang, Yanjing
2013On axiomatizations of public announcement logicWang, Yanjing; Cao, Qinxiang