no code implementations • 11 Jul 2023 • Yipu Li, Yanjing Wang
Aristotle's discussions on modal syllogistic have often been viewed as error-prone and have garnered significant attention in the literature due to historical and philosophical interests.
no code implementations • 22 Jun 2021 • Yanjun Li, Yanjing Wang
Various planning-based know-how logics have been studied in the recent literature.
no code implementations • 22 Jun 2021 • Michael Cohen, Wen Tang, Yanjing Wang
In this paper, we propose a lightweight yet powerful dynamic epistemic logic that captures not only the distinction between de dicto and de re knowledge but also the distinction between de dicto and de re updates.
no code implementations • 10 May 2018 • Yanjing Wang, Jeremy Seligman
In standard epistemic logic, agent names are usually assumed to be common knowledge implicitly.
no code implementations • 29 Mar 2018 • Jixin Liu, Yanjing Wang, Yifeng Ding
Weakly Aggregative Modal Logic (WAML) is a collection of disguised polyadic modal logics with n-ary modalities whose arguments are all the same.
no code implementations • 28 Mar 2018 • Anantha Padmanabha, R. Ramanujam, Yanjing Wang
Quantified modal logic provides a natural logical language for reasoning about modal attitudes even while retaining the richness of quantification for referring to predicates over domains.
no code implementations • 27 Jul 2017 • Yanjing Wang
Recent years witnessed a growing interest in non-standard epistemic logics of knowing whether, knowing how, knowing what, knowing why and so on.
no code implementations • 15 May 2017 • Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang
In this paper, we propose a single-agent logic of goal-directed knowing how extending the standard epistemic logic of knowing that with a new knowing how operator.
no code implementations • 21 Sep 2016 • Chao Xu, Yanjing Wang, Thomas Studer
When we say "I know why he was late", we know not only the fact that he was late, but also an explanation of this fact.
no code implementations • 27 Jun 2016 • Thomas Ågotnes, Hans van Ditmarsch, Yanjing Wang
A true lie is a lie that becomes true when announced.
no code implementations • 24 Jun 2016 • Quan Yu, Yanjun Li, Yanjing Wang
In this paper, we introduce a lightweight dynamic epistemic logical framework for automated planning under initial uncertainty.
no code implementations • 6 May 2016 • Yanjing Wang
We survey our recent line of work on the epistemic logics of "knowing whether", "knowing what" and "knowing how" to demonstrate the use of this new approach.
no code implementations • 29 Apr 2016 • Tao Gu, Yanjing Wang
Recent years witness a growing interest in nonstandard epistemic logics of "knowing whether", "knowing what", "knowing how", and so on.
no code implementations • 7 Dec 2015 • Kai Li, Yanjing Wang
We argue that the problem lies in the mix-up of two interpretations of the extensive form game structures: game rules or game runs which do not always coincide.
no code implementations • 25 May 2015 • Yanjing Wang
In this paper, we propose a single-agent modal logic framework for reasoning about goal-direct "knowing how" based on ideas from linguistics, philosophy, modal logic and automated planning.
no code implementations • 30 Nov 2013 • Jie Fan, Yanjing Wang, Hans van Ditmarsch
In this paper, we study logics with a modal operator Kw for knowing whether but without a modal operator K for knowing that.