Named models in coalgebraic hybrid logic
-
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.author | Schroder, Lutz | |
---|---|---|
dc.contributor.author | Pattinson, Dirk | |
dc.coverage.spatial | Nancy | |
dc.date.accessioned | 2015-12-13T22:59:29Z | |
dc.date.created | March 4-6 2010 | |
dc.identifier.isbn | 9783939897163 | |
dc.identifier.uri | http://hdl.handle.net/1885/83823 | |
dc.description.abstract | 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.publisher | Conference Organising Committee | |
dc.relation.ispartofseries | 27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010 | |
dc.source | Leibniz International Proceedings in Informatics, LIPIcs | |
dc.subject | Keywords: 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.title | Named models in coalgebraic hybrid logic | |
dc.type | Conference paper | |
local.description.notes | Imported from ARIES | |
local.description.refereed | Yes | |
dc.date.issued | 2010 | |
local.identifier.absfor | 080203 - Computational Logic and Formal Languages | |
local.identifier.ariespublication | f5625xPUB12107 | |
local.type.status | Published Version | |
local.contributor.affiliation | Schroder, Lutz, Universitat Bremen | |
local.contributor.affiliation | Pattinson, Dirk, College of Engineering and Computer Science, ANU | |
local.description.embargo | 2037-12-31 | |
local.bibliographicCitation.startpage | 645 | |
local.bibliographicCitation.lastpage | 656 | |
local.identifier.doi | 10.4230/LIPIcs.STACS.2010.2492 | |
local.identifier.absseo | 970108 - Expanding Knowledge in the Information and Computing Sciences | |
dc.date.updated | 2016-02-24T08:40:44Z | |
local.identifier.scopusID | 2-s2.0-84875122939 | |
Collections | ANU Research Publications |
Download
File | Description | Size | Format | Image |
---|---|---|---|---|
01_Schroder_Named_models_in_coalgebraic_2010.pdf | 166.73 kB | Adobe PDF | Request a copy |
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