Coalgebraic hybrid logic

Date

Authors

Myers, Rob

Pattinson, Dirk

Schroder, Lutz

Publisher

Conference Organising Committee

Abstract

We introduce a generic framework for hybrid logics, i.e. modal logics additionally featuring nominals and satisfaction operators, thus providing the necessary facilities for reasoning about individual states in a model. This framework, coalgebraic hybrid

Keywords

Keywords: Coalgebraic; Finite model property; Generic frameworks; Hybrid logic; Modal logic; Modal operators; New results; Semantic criteria; Communication channels (information theory); Computability and decidability; Computer software; Probabilistic logics

URI

http://hdl.handle.net/1885/81759

Collections

ANU Research Publications

Source

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Type

Conference paper

DOI

10.1007/978-3-642-00596-1_11

Restricted until

2037-12-31

Downloads

File

Description

01_Myers_Coalgebraic_hybrid_logic_2009.pdf (186.94 KB)