Premium
Some Connections between Topological and Modal Logic
Author(s) -
Engesser Kurt
Publication year - 1995
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.19950410106
Subject(s) - mathematics , modal logic , normal modal logic , accessibility relation , kripke semantics , s5 , multimodal logic , modal , completeness (order theory) , neighbourhood (mathematics) , algebra over a field , pure mathematics , computer science , theoretical computer science , mathematical analysis , description logic , chemistry , polymer chemistry
We study modal logics based on neighbourhood semantics using methods and theorems having their origin in topological model theory. We thus obtain general results concerning completeness of modal logics based on neighbourhood semantics as well as the relationship between neighbourhood and Kripke semantics. We also give a new proof for a known interpolation result of modal logic using an interpolation theorem of topological model theory.