Skip navigation
Skip navigation

Strong completeness of coalgebraic modal logics

Schroder, Lutz; Pattinson, Dirk

Description

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

CollectionsANU Research Publications
Date published: 2009
Type: Conference paper
URI: http://hdl.handle.net/1885/84295
Source: Leibniz International Proceedings in Informatics, LIPIcs

Download

File Description SizeFormat Image
01_Schroder_Strong_completeness_of_2009.pdf9.6 MBAdobe PDF    Request a copy
02_Schroder_Strong_completeness_of_2009.pdf379.03 kBAdobe PDF    Request a copy


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  23 August 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator