A Model-Theoretic Analysis of Knowledge: Preliminary Report

Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi

Browse the full FOCS paper archive.