Logics for information update

Authors
Publication date 2001
Host editors
  • Johan van Benthem
Book title Proceedings TARK VIII
Pages (from-to) 51-88
Publisher Los Altos: Morgan Kaufmann
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Conference contribution
Permalink to this page
Back