Why bother with syntax?

DOI10.1007/978-3-319-47843-2_7MaRDI QIDQ3299838zbMATH OpenOpenAlexFDO

Authors 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

epistemic reasoningsemanticssyntax

Mathematics Subject Classification ID

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

Abstract: This short note discusses the role of syntax vs. semantics and the interplay between logic, philosophy, and language in computer science and game theory.

Recommendations

• Syntax versus semantics in knowledge bases – I
• Publication:3493301
• The Dynamics of Syntactic Knowledge
• scientific article; zbMATH DE number 4166926
• What are axiomatizations good for?

Cites work

• A logic for reasoning about probabilities
• A necessary and sufficient epistemic condition for playing backward induction
• Backward induction and common knowledge of rationality
• Belief, awareness, and limited reasoning
• Characterizing common priors in the form of posteriors
• scientific article; zbMATH DE number 2046116 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 5497554 (Why is no real title available?)
• Interactive epistemology. I: Knowledge
• Reasoning about knowledge and probability
• Reasoning about knowledge of unawareness revisited
• Set-theoretic completeness for epistemic and conditional logic
• Some extensions of a claim of Aumann in an axiomatic model of knowledge
• The hierarchical approach to modeling knowledge and common knowledge
• Topology-free typology of beliefs

Cited in

(1)

• Why grammar systems?

This page was built for publication: Why bother with syntax?

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