Skip navigation
Skip navigation

Modal logics are coalgebraic

Cirstea, Corina; Kurz, Alexander; Pattinson, Dirk; Schroder, Lutz; Venema, Yde

Description

Applications of modal logics are abundant in computer science, and a large number of structurally different modal logics have been successfully employed in a diverse spectrum of application contexts. Coalgebraic semantics, on the other hand, provides a uniform and encompassing view on the large variety of specific logics used in particular domains. The coalgebraic approach is generic and compositional: tools and techniques simultaneously apply to a large class of application areas and can,...[Show more]

CollectionsANU Research Publications
Date published: 2011
Type: Journal article
URI: http://hdl.handle.net/1885/78429
Source: The Computer Journal
DOI: 10.1093/comjnl/bxp004

Download

File Description SizeFormat Image
01_Cirstea_Modal_logics_are_co_2011.pdf160.76 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