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 20 to 35 of 35 < previous 
Issue DateTitleAuthor(s)
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
Mar-2022<p>Quantifier-free epistemic term-modal logic with assignment operator</p>Wang, Yanjing; Wei, Yu; Seligman, Jeremy
Jul-2021Planning-based knowing how: A unified approachLi, Yanjun; Wang, Yanjing
2013Reasoning About Agent Types and the Hardest Logic Puzzle EverLiu, Fenrong; Wang, Yanjing
2011Reasoning about protocol change and knowledgeWang, Yanjing
2015Representing imperfect information of procedures with hyper modelsWang, Yanjing
2012Risk balance in optimistic non-repudiation protocolsTorabi Dashti, Mohammad; Cederquist, Jan; Wang, Yanjing
25-Jan-2023Someone knows that local reasoning on hypergraphs is a weakly aggregative modal logicDing, Yifeng; Liu, Jixin; Wang, Yanjing
2017Strategically knowing howFervari, Raul; Herzig, Andreas; Li, Yanjun; Wang, Yanjing
2022Tense Logics over LatticesWang, Xiaoyang; Wang, Yanjing
2010To know or not to know: epistemic approaches to security protocol verificationDechesne, Francien; Wang, Yanjing
2018True liesAgotnes, Thomas; van Ditmarsch, Hans; Wang, Yanjing