KE Tableaux for Public Announcement Logic (bibtex)
by Mathijs de Boer
Reference:
KE Tableaux for Public Announcement Logic (Mathijs de Boer), In Proceedings of the Formal Approaches to Multi-Agent Systems Workshop (FAMAS'007), Durham, UK, 2007.
Bibtex Entry:
@InProceedings{Boer2007,
  Title                    = {KE Tableaux for Public Announcement Logic},
  Author                   = {Mathijs de Boer},
  Booktitle                = {Proceedings of the Formal Approaches to Multi-Agent Systems Workshop (FAMAS'007), Durham, UK},
  Year                     = {2007},

  Affiliation              = {icr},
  Timestamp                = {2013.07.26}
}
Powered by bibtexbrowser