Set-theoretic completeness for epistemic and conditional logic (1999)

by J Y Halpern
Venue:Annals of Mathematics and Artificial Intelligence