A system of dynamic modal logic

Authors
Publication date 1992
Series Report, CSLI-92-170
Publisher Stanford, CA: Center for the Study of Language and Information, Stanford University
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Report
Permalink to this page
Back