Beyond knowing that: non-standard epistemic logics of knowing whether/what/how/why and so on… (Here is an earlier ESSLLI course on this project)

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 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 (
pdf),,
to appear in Synthese (extended full version of the LORI15 conference paper)

Knowing Values and Public Inspection (
ArXiv),
(with Jan van Eijck, Malvin Gattinger) to appear in Proceedings of ICLA 2017, Springer

Achieving while maintaining: A logic of knowing how with intermediate constraints
(Arxiv)
(with Yanjun Li) , in Proceedings of ICLA 2017:154-167, Springer

“Knowing value” logic as a normal modal logic
(ArXiv),
(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

A logic of knowing how (
slides, 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!