Axiomatising Dynamic Logics for Anafora

Authors
Publication date 1998
Series INS-R9812/ LP-1998, 07
Publisher Amsterdam: WINS (oud WINS)
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Report
Note CWI Amsterdam
Permalink to this page
Back