Rank-1 modal logics are coalgebraic
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
|Collections||ANU Research Publications|
|Source:||Journal of Logic and Computation|
|01_Schröder _Rank-1_modal_logics_are_2010.pdf||383.48 kB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.