``Knowing value logic as a normal modal logic

zbMATH Open1400.03043arXiv1604.08709MaRDI QIDQ4636044FDOQ4636044

Authors: Tao Gu, Yanjing Wang 

Publication date: 23 April 2018

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

Recommendations

• A new modal framework for epistemic logic
• \(\in_K\): a non-Fregean logic of explicit knowledge
• Beyond knowing that: a new generation of epistemic logics
• Conditionally knowing what
• Distributed knowing whether (extended abstract)

zbMATH Keywords

ternary relationnormal modal logicknowing valuebinary modality first-order modal logic

Mathematics Subject Classification ID

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

Cited In (14)

• Knowing the value of a predicate
• Knowing Values and Public Inspection
• A logic of goal-directed knowing how
• Neighborhood semantics for logic of knowing how
• Model theoretical aspects of weakly aggregative modal logic
• Hypergraphs, local reasoning, and weakly aggregative modal logic
• Achieving While Maintaining:
• Beyond Knowing That: A New Generation of Epistemic Logics
• Tableau-based decision procedure for logic of knowing-how via simple plans
• Title not available (Why is that?)
• Tableaux for the Logic of Strategically Knowing How
• How easy it is to know how: an upper bound for the satisfiability problem
• BISIMULATIONS FOR KNOWING HOW LOGICS
• Uncertainty-based semantics for multi-agent knowing how logics

This page was built for publication: ``Knowing value logic as a normal modal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4636044)