Set-theoretic completeness for epistemic and conditional logic

DOI10.1023/A:1018942425200zbMATH Open0942.03019OpenAlexW1724047711MaRDI QIDQ1978015FDOQ1978015

Joseph Y. Halpern

Publication date: 7 June 2000

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1018942425200

Recommendations

• Some Completeness Results for Propositional Conditional Logics
• Completeness and correspondence in Chellas-Segerberg semantics
• scientific article; zbMATH DE number 851063
• Strong completeness theorems for weak logics of common belief

zbMATH Keywords

nonmonotonic reasoningepistemic logicexpressive powerconditional logicselection functionsKripke frameset-theoretic semanticsfoundations of mathematical economicsset-theoretic completeness results

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Fundamental topics (basic mathematics, methodology; applicable to economics in general) (91B02)

Cited In (8)

• Logics of Rational Interaction
• On the use (and abuse) of logic in game theory
• Set-theoretical invariance criteria for logicality
• Dynamic interactive epistemology
• Preface to the special issue: Temporal logics of agency
• Conditional belief types
• Why Bother with Syntax?
• The completeness theorems for some intuitionistic epistemic logics in terms of interval semantics

This page was built for publication: Set-theoretic completeness for epistemic and conditional logic

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