``Knowing value logic as a normal modal logic

MaRDI QIDQ4636044zbMATH OpenFDO

Authors Tao Gu, Yanjing Wang

Publication date 23 April 2018

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

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)

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)

Cited in

(14)

• Neighborhood semantics for logic of knowing how
• A new modal framework for epistemic logic
• A logic of goal-directed knowing how
• How easy it is to know how: an upper bound for the satisfiability problem
• Knowing values and public inspection
• Beyond knowing that: a new generation of epistemic logics
• BISIMULATIONS FOR KNOWING HOW LOGICS
• Achieving while maintaining: a logic of knowing how with intermediate constraints
• Model theoretical aspects of weakly aggregative modal logic
• Hypergraphs, local reasoning, and weakly aggregative modal logic
• Tableaux for the Logic of Strategically Knowing How
• Tableau-based decision procedure for logic of knowing-how via simple plans
• Knowing the value of a predicate
• 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)