In this project we study the non-standard epistemic logics of “knowing whether”, “knowing what”, “knowing how”, “knowing why” and so on. For the details of the research program see the following

In this project we study the non-standard epistemic logics of “knowing whether”, “knowing what”, “knowing how”, “knowing why” and so on. For the details of the research program see the following

**position paper**

**and the slides for this**ESSLLI/NASSLLI Course.

**Beyond knowing that: a new generation of epistemic logics (ArXiv),**

to appear in the Hintikka volume of

*Outstanding Contributions to Logic*, Springer

**A new modal framework for epistemic logic**（PDF）

**in**

*Proceedings of 16th conference on Theoretical Aspects of Rationality and Knowledge*(TARK2017): 515-534

**Bisimulations for Knowing How Logics**

(with Raul Fervari, Fernando R. Velázquez-Quesada) to appear in the informal proceedings of the International Workshop on Strategic Reasoning (SR2017)

**A logic of knowing why (**

**ArXiv**

**)**

(with Chao Xu and Thomas Studer), under submission

**Strategically knowing how (**ArXiv

**)**

(with Raul Fervari, Andreas Herzig and Yanjun Li ) in

*Proceedings of International Joint Conference on Artificial Intelligence (IJCAI 2017): 1031-1038*

专栏：超越“知道如是”的知识逻辑 （pdf, 专栏内容）

《逻辑学研究》

*Studies in logic: 9(4)*, 2016

A Logic of Goal-directed Knowing How (

A Logic of Goal-directed Knowing How (

**)**,,

to appear in Synthese (extended full version of the LORI15 conference paper)

**ArXiv**

Knowing Values and Public Inspection (

Knowing Values and Public Inspection (

**),**

(with Jan van Eijck, Malvin Gattinger) to appear in

*Proceedings of ICLA 2017*, Springer

**(Arxiv)**

Achieving while maintaining: A logic of knowing how with intermediate constraints

Achieving while maintaining: A logic of knowing how with intermediate constraints

**(with Yanjun Li) , in**

*Proceedings of ICLA 2017:154-167, Springer*

**(ArXiv),**

“Knowing value” logic as a normal modal logic

“Knowing value” logic as a normal modal logic

(with Tao Gu) in

*Advances in Modal Logic*Vol. 11:362-381, College Publications

**Knowing your ability**(pdf)

**.**

(with Tszyuen Lau) in

*The Philosophical Forum 47(3-4)415-423*, Wiley-Blackwell

**slides**

A logic of knowing how (

A logic of knowing how (

**,**pdf

**),**

in

*Proceedings of LORI2015: 392-405*, Springer

**Contingency and knowing whether**

**(pdf)**

*,***(with Jie Fan and Hans van Ditmarsch) in**

*Review of Symbolic Logic 8(1):75-107,*Cambridge University Press

↑ A

**systematic**study of

**axiomatizations and expressivity of contingency logic over various classes of frames; A relatively uniform method of completeness proofs;**

**Correct**a mistake in the literature;

**Bridge**the research community of contingency logic and ignorance logic (knowing whether logic).

**Representing Imperfect Information of Procedures with Hyper Models**

**(pdf, slides)**

*,***in the Proceedings of ICLA 2015: 218-231, LNCS Springer**

↑ A framework for representing imperfect procedural information in a compact way; 2-valued logic using the idea of 3-valued abstraction in model checking; No epistemic relations in the epistemic model; Non-S5 models validating S5 axioms without necessitation; modals can be constructed step by step from scratch…

**Conditionally knowing what**

**(pdf, slides)**

*,*

**(with Jie Fan) in**

*Advances in Modal Logic*vol 10: 569-587, College Publications

↑ A

**follow-up**of the

**IJCAI 13 paper; I know**

**what**your password

**is**,

**if**it is 4-digit; A fragment of

**first-order intensional logic**; A

**highly non-trivial**completeness proof (multi-agent case). PS: It is shown by Shihao Xiong in his bachelor thesis that this logic is decidable.

**Almost necessary,**

**(pdf)**

**(with Jie Fan and Hans van Ditmarsch) in**

*Advances in Modal Logic*vol 10: 178-196, College Publications

↑ Necessity is

**almost definable**by non-contingency demonstrated by a valid schema; Non-contingency logics (NCL) are

**not normal**; A notion of Δ-

**bisimulation**to characterize the expressivity of contingency logic; A

**novel way**to find proper axioms and prove completeness for NCL over various classes of frames

**Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators**

**(pdf)**

*,***(with Jie Fan) in Proceedings of IJCAI 2013:**

*1147-1154, AAAI press*

*↑ “*

**Knowing what**” operator Kv (proposed by J. Plaza); the axioms mentioned by Plaza

**do not**axiomatize PAL+Kv completely; Kv is generalized to a

**conditional**one (Kvr) and the resulting logic is

**equally expressive**as PAL+Kv;

**complete**axiomatizations of EL+Kvr and PAL+Kvr in the

**single-agent**case.

**A note on equivalence of two semantics for epistemic logic of shallow depths**, (pdf)

in

*The dynamic, inquisitive, and visionary life of*ϕ,

*?*ϕ, and

*◊*ϕ: A Festschrift for Jeroen Groenendijk, Martin Stokhof, and Frank Veltman

*↑ Something about the semantics proposed in my master thesis. And thank you Frank and Maricarmen!*