Why Bother with Syntax?

DOI10.1007/978-3-319-47843-2_7zbMath1437.03023arXiv1506.05282OpenAlexW1511833490MaRDI QIDQ3299838

Joseph Y. Halpern

Publication date: 27 July 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

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

zbMATH Keywords

semanticssyntaxepistemic reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some extensions of a claim of Aumann in an axiomatic model of knowledge
• Belief, awareness, and limited reasoning
• Topology-free typology of beliefs
• A necessary and sufficient epistemic condition for playing backward induction
• Characterizing common priors in the form of posteriors
• Interactive epistemology. I: Knowledge
• The hierarchical approach to modeling knowledge and common knowledge
• A logic for reasoning about probabilities
• Backward induction and common knowledge of rationality
• Reasoning about knowledge of unawareness revisited
• Set-theoretic completeness for epistemic and conditional logic
• Reasoning about knowledge and probability