Named models in coalgebraic hybrid logic
Date
2010
Authors
Schroder, Lutz
Pattinson, Dirk
Journal Title
Journal ISSN
Volume Title
Publisher
Conference Organising Committee
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
Description
Keywords
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
Citation
Collections
Source
Leibniz International Proceedings in Informatics, LIPIcs
Type
Conference paper
Book Title
Entity type
Access Statement
License Rights
Restricted until
2037-12-31
Downloads
File
Description