Correspondence theory for extended modal logics

Authors
Publication date 1993
Series Report, ML-93-16
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