Set-theoretic completeness for epistemic and conditional logic

  • Joseph Y. Halpern

DOI: 10.1023/A:1018942425200

Cite this article as:
Halpern, J.Y. Annals of Mathematics and Artificial Intelligence (1999) 26: 1. doi:10.1023/A:1018942425200


The standard approach to logic in the literature in philosophy and mathematics, which has also been adopted in computer science, is to define a language (the syntax), an appropriate class of models together with an interpretation of formulas in the language (the semantics), a collection of axioms and rules of inference characterizing reasoning (the proof theory), and then relate the proof theory to the semantics via soundness and completeness results. Here we consider an approach that is more common in the economics literature, which works purely at the semantic, set-theoretic level. We provide set-theoretic completeness results for a number of epistemic and conditional logics, and contrast the expressive power of the syntactic and set-theoretic approaches.

Copyright information

© Kluwer Academic Publishers 1999

Authors and Affiliations

  • Joseph Y. Halpern
    • 1
  1. 1.Department of Computer ScienceCornell UniversityIthacaUSA

Personalised recommendations