To know is to know the value of a variable

MaRDI QIDQ4636030zbMATH OpenFDO

Authors Alexandru Baltag

Publication date 23 April 2018

zbMATH Keywords

dynamic epistemic logicknowing whatknowledge de re

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Recommendations

• Knowing values and public inspection
• Conditionally knowing what
• `Knowable' as `known after an announcement'
• scientific article; zbMATH DE number 2212572
• Epistemic Informativeness

Cited in

(14)

• scientific article; zbMATH DE number 7450030 (Why is no real title available?)
• A new modal framework for epistemic logic
• Opaque updates
• 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
• Data-informed knowledge and strategies
• BISIMULATIONS FOR KNOWING HOW LOGICS
• \textit{De re} updates
• A simple logic of functional dependence
• Conditionally knowing what
• Tableaux for the Logic of Strategically Knowing How
• Knowing the value of a predicate
• Uncertainty-based semantics for multi-agent knowing how logics

This page was built for publication: To know is to know the value of a variable

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