Bibtex entry

    author = {Vardi},
    title = {On epistemic logic and logical omniscience},
    booktitle = {Proceedings of the First Conference on Theoretical Aspects of Reasoning about Knowledge Conference},
    pages = {293--305},
    year = {1986},
    publisher = {Morgan Kaufmann}
New user?
Forgotten your

To post or edit items:
  1. Log in.
  2. Go to the page to be modified
  3. Choose the option to post or edit


Home | Publications | People | Conferences | Software | Tutorials | Other | Newsletter

Site created by Studio 4 and the Innovation and Technology Research Laboratory.


Page load time: 0.0s