Set-theoretic completeness for epistemic and conditional logic

DOI10.1023/A:1018942425200zbMath0942.03019OpenAlexW1724047711MaRDI QIDQ1978015

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 reasoningexpressive powerepistemic logicconditional logicKripke frameselection functionsset-theoretic semanticsfoundations of mathematical economicsset-theoretic completeness results

Mathematics Subject Classification ID

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

Related Items (6)

On the use (and abuse) of logic in game theory ⋮ Dynamic interactive epistemology ⋮ Logics of Rational Interaction ⋮ Preface to the special issue: Temporal logics of agency ⋮ Conditional belief types ⋮ Why Bother with Syntax?

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