A Lindstroem theorem for modal logic

Authors
Publication date 1994
Series Report, CS-R9456
Publisher Amsterdam: CWI
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Report
Permalink to this page
Back