On epistemic logic and logical omniscience - Rice CS

Download PDF
14 downloads 155 Views 429KB Size Report
Comment
that a believes that iój, where [º] is the equivalence class of 6. Since all ... They were introduced for technical reasons, which are unrelated to epistemic logic, by ..... Symp. on Foundations of Computer Science, West Palm Beach, 1984, pp.