Skip navigation
Skip navigation

Named models in coalgebraic hybrid logic

Schroder, Lutz; Pattinson, Dirk


Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic semantics, where Kripke frames are replaced with coalgebras for a given functo

CollectionsANU Research Publications
Date published: 2010
Type: Conference paper
Source: Leibniz International Proceedings in Informatics, LIPIcs
DOI: 10.4230/LIPIcs.STACS.2010.2492


File Description SizeFormat Image
01_Schroder_Named_models_in_coalgebraic_2010.pdf166.73 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