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

conditional logicepistemic logicexpressive powerfoundations of mathematical economicsKripke framenonmonotonic reasoningselection functionsset-theoretic completeness resultsset-theoretic semantics

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) 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

(10)

• The completeness theorems for some intuitionistic epistemic logics in terms of interval semantics
• Dynamic interactive epistemology
• Formalized soundness and completeness of epistemic logic
• On the use (and abuse) of logic in game theory
• Logics of rational interaction
• Why bother with syntax?
• Conditional belief types
• Preface to the special issue: Temporal logics of agency
• Completeness and correspondence in Chellas-Segerberg semantics
• Set-theoretical invariance criteria for logicality

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)