Reduction Axioms for Epistemic Actions

Authors
Publication date 2004
Host editors
  • R. Schmidt
  • I. Pratt-Hartmann
  • M. Reynolds
  • H. Wansing
Book title Proceedings Advances in Model Logic 2004
Pages (from-to) 197-211
Publisher Manchester: Department of Computer Science, University of Manchester
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Conference contribution
Permalink to this page
Back