Skip navigation
Skip navigation
The system will be down for maintenance between 8:00 and 8:15am on Thursday 13, December 2018

Some Sahlqvist Completeness Results for Coalgebraic Logics

Dahlqvist, Fredrik; Pattinson, Dirk


This paper presents a first step towards completeness-via-canonicity results for coalgebraic modal logics. Specifically, we consider the relationship between classes of coalgebras for ω-accessible endofunctors and logics defined by Sahlqvist-like frame c

CollectionsANU Research Publications
Date published: 2013
Type: Journal article
Source: Lecture Notes in Computer Science (LNCS)
DOI: 10.1007/978-3-642-37075-5_13


File Description SizeFormat Image
01_Dahlqvist_Some_Sahlqvist_Completeness_2013.pdf260.22 kBAdobe PDF    Request a copy

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

Updated:  27 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator