To know is to know the value of a variable

zbMATH Open1400.03028MaRDI QIDQ4636030FDOQ4636030

Authors: Alexandru Baltag 

Publication date: 23 April 2018

Recommendations

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

zbMATH Keywords

dynamic epistemic logicknowing whatknowledge de re

Mathematics Subject Classification ID

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

Cited In (14)

• Knowing the value of a predicate
• \textit{De re} updates
• A new modal framework for epistemic logic
• Conditionally knowing what
• Knowing values and public inspection
• Beyond knowing that: a new generation of epistemic logics
• Opaque updates
• A simple logic of functional dependence
• Data-informed knowledge and strategies
• 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: 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)