Set-Theoretic Completeness for Epistemic and Conditional Logic (1999)

by Joseph Halpern
Venue:In Fifth International Conference on AI and Mathematics. Proceedings
Citations:16 - 3 self