Search Results for author: Yanjing Wang

Found 15 papers, 0 papers with code

De Re Updates

no code implementations22 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.

Knowing How to Plan

no code implementations22 Jun 2021 Yanjun Li, Yanjing Wang

Various planning-based know-how logics have been studied in the recent literature.

When Names Are Not Commonly Known: Epistemic Logic with Assignments

no code implementations10 May 2018 Yanjing Wang, Jeremy Seligman

In standard epistemic logic, agent names are usually assumed to be common knowledge implicitly.

Weakly Aggregative Modal Logic: Characterization and Interpolation (new version)

no code implementations29 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.

Bundled fragments of first-order modal logic: (un)decidability

no code implementations28 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.

A New Modal Framework for Epistemic Logic

no code implementations27 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.

Strategically knowing how

no code implementations15 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.

A Logic of Knowing Why

no code implementations21 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.

True Lies

no code implementations27 Jun 2016 Thomas Ågotnes, Hans van Ditmarsch, Yanjing Wang

A true lie is a lie that becomes true when announced.

A Dynamic Epistemic Framework for Conformant Planning

no code implementations24 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.

Beyond knowing that: a new generation of epistemic logics

no code implementations6 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.

"Knowing value" logic as a normal modal logic

no code implementations29 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.

From rules to runs: A dynamic epistemic take on imperfect information games

no code implementations7 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.

A Logic of Knowing How

no code implementations25 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.

Knowing Whether

no code implementations30 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.

Cannot find the paper you are looking for? You can Submit a new open access paper.