Bibtex entry

 @inproceedings{ref72,
    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}
}
Username:
Password:
New user?
Forgotten your
password?

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.

Contact

Page load time: 0.0s