Strong completeness of coalgebraic modal logics
Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction is well understood for Kripke semantics, non-normal modal logics often present subtl
|Collections||ANU Research Publications|
|Source:||Leibniz International Proceedings in Informatics, LIPIcs|
|01_Schroder_Strong_completeness_of_2009.pdf||9.6 MB||Adobe PDF||Request a copy|
|02_Schroder_Strong_completeness_of_2009.pdf||379.03 kB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.