Dynamic Arrow Logic

Authors
Publication date 1994
Host editors
  • A. Visser
  • J. van Eyck
Book title Logic and Information Flow
Pages (from-to) 15-29
Publisher Cambridge (Mass.): MIT Press
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Permalink to this page
Back