Yanjing Wang

Available identifiers

zbMath Open wang.yanjingMaRDI QIDQ456974

List of research outcomes

Publication	Date of Publication	Type
Epistemic Syllogistic: First Steps	2024-02-28	Paper
Neighborhood semantics for logic of knowing how	2024-02-01	Paper
Are bundles good deals for first-order modal logic?	2023-07-17	Paper
Tense logics over lattices	2023-06-02	Paper
https://portal.mardi4nfdi.de/entity/Q5884976	2023-03-24	Paper
A logic of knowing why	2023-03-17	Paper
MEREOLOGICAL BIMODAL LOGICS	2022-11-08	Paper
Inquisitive logic as an epistemic logic of knowing how	2022-09-16	Paper
Model theoretical aspects of weakly aggregative modal logic	2022-07-15	Paper
Hypergraphs, local reasoning, and weakly aggregative modal logic	2022-06-24	Paper
BISIMULATIONS FOR KNOWING HOW LOGICS	2022-05-25	Paper
An Epistemic Interpretation of Tensor Disjunction	2022-03-25	Paper
Inquisitive Logic as an Epistemic Logic of Knowing How	2022-03-23	Paper
Quantifier-free epistemic term-modal logic with assignment operator	2022-01-18	Paper
https://portal.mardi4nfdi.de/entity/Q5018513	2021-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q3384090	2021-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q5015399	2021-12-07	Paper
Planning-based knowing how: a unified approach	2021-11-02	Paper
True lies	2021-01-18	Paper
A logic of goal-directed knowing how	2021-01-18	Paper
Beyond Knowing That: A New Generation of Epistemic Logics	2020-07-24	Paper
Epistemic Informativeness	2020-02-04	Paper
Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach	2020-01-30	Paper
Weakly aggregative modal logic: characterization and interpolation	2020-01-30	Paper
Knowledge-now and knowledge-all	2020-01-30	Paper
A dynamic epistemic framework for reasoning about conformant probabilistic plans	2019-08-28	Paper
Knowing Values and Public Inspection	2019-07-24	Paper
Achieving While Maintaining:	2019-07-24	Paper
When Names Are Not Commonly Known: Epistemic Logic with Assignments	2019-07-24	Paper
True lies	2019-06-13	Paper
More for free: a dynamic epistemic framework for conformant planning over transition systems*	2018-11-20	Paper
https://portal.mardi4nfdi.de/entity/Q4636044	2018-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q4636292	2018-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q4636315	2018-04-23	Paper
Weakly Aggregative Modal Logic: Characterization and Interpolation (new version)	2018-03-29	Paper
Bundled fragments of first-order modal logic: (un)decidability	2018-03-28	Paper
A Logic of Knowing How	2015-12-17	Paper
Hidden protocols: modifying our expectations in an evolving world	2015-08-27	Paper
CONTINGENCY AND KNOWING WHETHER	2015-04-24	Paper
Representing Imperfect Information of Procedures with Hyper Models	2015-01-09	Paper
On axiomatizations of public announcement logic	2015-01-08	Paper
Book review of: Johan van Benthem, Logical dynamics of information and interaction	2014-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q5419900	2014-06-11	Paper
Composing models	2012-07-17	Paper
On Axiomatizations of PAL	2011-10-19	Paper
Logic of Information Flow on Communication Channels	2011-05-11	Paper
To know or not to know: Epistemic approaches to security protocol verification	2011-02-25	Paper
Reasoning about Protocol Change and Knowledge	2010-12-17	Paper
Refinement of Kripke Models for Dynamics	2009-01-27	Paper
Propositional Dynamic Logic as a Logic of Belief Revision	2008-07-10	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Yanjing Wang