Skip navigation
Skip navigation
A change is coming. Click to see a sneak peek of the new Open Research Repository.

Named models in coalgebraic hybrid logic

Request a Copy

link to publisher version

  • Altmetric Citations

Schroder, Lutz; Pattinson, Dirk

Description

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

dc.contributor.authorSchroder, Lutz
dc.contributor.authorPattinson, Dirk
dc.coverage.spatialNancy
dc.date.accessioned2015-12-13T22:59:29Z
dc.date.createdMarch 4-6 2010
dc.identifier.isbn9783939897163
dc.identifier.urihttp://hdl.handle.net/1885/83823
dc.description.abstractHybrid 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
dc.publisherConference Organising Committee
dc.relation.ispartofseries27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010
dc.sourceLeibniz International Proceedings in Informatics, LIPIcs
dc.subjectKeywords: Canonical models; Coalgebraic semantics; Coalgebras; Deduction; Hybrid languages; Logic in computer science; Modal logic; Reasoning principles; Formal logic; Semantics; Computer science Coalgebra; Deduction; Logic in computer science; Modal logic; Semantics
dc.titleNamed models in coalgebraic hybrid logic
dc.typeConference paper
local.description.notesImported from ARIES
local.description.refereedYes
dc.date.issued2010
local.identifier.absfor080203 - Computational Logic and Formal Languages
local.identifier.ariespublicationf5625xPUB12107
local.type.statusPublished Version
local.contributor.affiliationSchroder, Lutz, Universitat Bremen
local.contributor.affiliationPattinson, Dirk, College of Engineering and Computer Science, ANU
local.description.embargo2037-12-31
local.bibliographicCitation.startpage645
local.bibliographicCitation.lastpage656
local.identifier.doi10.4230/LIPIcs.STACS.2010.2492
local.identifier.absseo970108 - Expanding Knowledge in the Information and Computing Sciences
dc.date.updated2016-02-24T08:40:44Z
local.identifier.scopusID2-s2.0-84875122939
CollectionsANU Research Publications

Download

File Description SizeFormat Image
01_Schroder_Named_models_in_coalgebraic_2010.pdf166.73 kBAdobe PDF    Request a copy
Show simple item record


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  17 November 2022/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator