Skip navigation
Skip navigation

Rank-1 modal logics are coalgebraic

Schröder , Lutz; Pattinson, Dirk

Description

Coalgebras provide a unifying semantic framework for a wide variety of modal logics. It has previously been shown that the class of coalgebras for an endofunctor can always be axiomatized in rank 1. Here we establish the converse, i.e. every rank-1 modal

CollectionsANU Research Publications
Date published: 2010
Type: Journal article
URI: http://hdl.handle.net/1885/79478
Source: Journal of Logic and Computation
DOI: 10.1093/logcom/exn096

Download

File Description SizeFormat Image
01_Schröder _Rank-1_modal_logics_are_2010.pdf383.48 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