scientific article; zbMATH DE number 6302924

zbMath1291.03026MaRDI QIDQ5419900

Yanjing Wang, Yanjun Li

Publication date: 11 June 2014

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

navigationplanningdynamic epistemic logicepistemic temporal logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

Related Items

A Logic of Knowing How, BISIMULATIONS FOR KNOWING HOW LOGICS, Unnamed Item, A logic of goal-directed knowing how, On axiomatizations of public announcement logic, Planning-based knowing how: a unified approach, A dynamic epistemic framework for reasoning about conformant probabilistic plans, Dynamic Epistemic Logics