Set-theoretic completeness for epistemic and conditional logic

DOI10.1023/A:1018942425200MaRDI QIDQ1978015zbMATH OpenOpenAlexFDO

Authors 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

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)

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

Cited in

(9)

• Completeness and correspondence in Chellas-Segerberg semantics
• 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
• Why bother with syntax?
• Conditional belief types
• Logics of rational interaction
• 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)