Skip navigation
Skip navigation

Some Sahlqvist Completeness Results for Coalgebraic Logics

Dahlqvist, Fredrik; Pattinson, Dirk

Description

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
URI: http://hdl.handle.net/1885/65795
Source: Lecture Notes in Computer Science (LNCS)
DOI: 10.1007/978-3-642-37075-5_13

Download

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:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator