A system of dynamic modal logic

Authors
Publication date 1992
Series Report, LP-92-08
Publisher Amsterdam: Institute for Logic, Language and Computation, University of Amsterdam
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Report
Permalink to this page
Back