scientific article; zbMATH DE number 6863654

zbMath1400.03043arXiv1604.08709MaRDI QIDQ4636044

Tao Gu, Yanjing Wang

Publication date: 23 April 2018

Full work available at URL: https://arxiv.org/abs/1604.08709

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

zbMATH Keywords

ternary relationnormal modal logicknowing valuebinary modality first-order modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)

Related Items

Hypergraphs, local reasoning, and weakly aggregative modal logic, Model theoretical aspects of weakly aggregative modal logic, BISIMULATIONS FOR KNOWING HOW LOGICS, Tableaux for the Logic of Strategically Knowing How, Neighborhood semantics for logic of knowing how, Tableau-based decision procedure for logic of knowing-how via simple plans, Unnamed Item, A logic of goal-directed knowing how, Beyond Knowing That: A New Generation of Epistemic Logics, Knowing Values and Public Inspection, Achieving While Maintaining: