Rank-1 modal logics are coalgebraic

Simple item page
dc.contributor.authorSchröder , Lutz
dc.contributor.authorPattinson, Dirk
dc.date.accessioned2015-12-13T22:44:03Z
dc.date.issued2010
dc.date.updated2016-02-24T09:38:04Z
dc.description.abstractCoalgebras 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
dc.identifier.issn0955-792X
dc.identifier.urihttp://hdl.handle.net/1885/79478
dc.publisherOxford University Press
dc.sourceJournal of Logic and Computation
dc.subjectKeywords: Coalgebras; Decision procedure; Deontic Logic; Modal logic; Neighbourhood; Machinery; Formal logic coalgebra; decision procedures; deontic logic; Modal logic; neighbourhood frames
dc.titleRank-1 modal logics are coalgebraic
dc.typeJournal article
local.bibliographicCitation.issue5
local.bibliographicCitation.lastpage1147
local.bibliographicCitation.startpage1113
local.contributor.affiliationSchröder , Lutz, University of Bremen
local.contributor.affiliationPattinson, Dirk, College of Engineering and Computer Science, ANU
local.contributor.authoremailu4762643@anu.edu.au
local.contributor.authoruidPattinson, Dirk, u4762643
local.description.embargo2037-12-31
local.description.notesImported from ARIES
local.identifier.absfor080500 - DISTRIBUTED COMPUTING
local.identifier.ariespublicationf5625xPUB7912
local.identifier.citationvolume20
local.identifier.doi10.1093/logcom/exn096
local.identifier.scopusID2-s2.0-77957324868
local.identifier.uidSubmittedByf5625
local.type.statusPublished Version

Downloads

Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
01_Schröder _Rank-1_modal_logics_are_2010.pdf
Size:
383.48 KB
Format:
Adobe Portable Document Format
Download

Collections

ANU Research Publications

DSpace software copyright © 2002-2024 LYRASIS