General Dynamic Logic

Authors
Publication date 1994
Host editors
  • D. Gabbay
Book title What is a Logical System?
Pages (from-to) 107-139
Publisher Oxford: Oxford University Press
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Permalink to this page
Back