Coalgebraic hybrid logic
| dc.contributor.author | Myers, Rob | |
| dc.contributor.author | Pattinson, Dirk | |
| dc.contributor.author | Schroder, Lutz | |
| dc.coverage.spatial | York | |
| dc.date.accessioned | 2015-12-13T22:53:19Z | |
| dc.date.created | March 22-29 2009 | |
| dc.date.issued | 2009 | |
| dc.date.updated | 2016-02-24T08:34:58Z | |
| dc.description.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 | |
| dc.identifier.isbn | 9783642005954 | |
| dc.identifier.uri | http://hdl.handle.net/1885/81759 | |
| dc.publisher | Conference Organising Committee | |
| dc.relation.ispartofseries | 12th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2009. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009 | |
| dc.source | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |
| dc.subject | 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 | |
| dc.title | Coalgebraic hybrid logic | |
| dc.type | Conference paper | |
| local.bibliographicCitation.lastpage | 151 | |
| local.bibliographicCitation.startpage | 137 | |
| local.contributor.affiliation | Myers, Rob, Imperial College London | |
| local.contributor.affiliation | Pattinson, Dirk, College of Engineering and Computer Science, ANU | |
| local.contributor.affiliation | Schroder, Lutz, Universitat Bremen | |
| local.contributor.authoruid | Pattinson, Dirk, u4762643 | |
| local.description.embargo | 2037-12-31 | |
| local.description.notes | Imported from ARIES | |
| local.description.refereed | Yes | |
| local.identifier.absfor | 100699 - Computer Hardware not elsewhere classified | |
| local.identifier.absseo | 970108 - Expanding Knowledge in the Information and Computing Sciences | |
| local.identifier.ariespublication | f5625xPUB10063 | |
| local.identifier.doi | 10.1007/978-3-642-00596-1_11 | |
| local.identifier.scopusID | 2-s2.0-70350656392 | |
| local.type.status | Published Version |
Downloads
Original bundle
1 - 1 of 1
Loading...
- Name:
- 01_Myers_Coalgebraic_hybrid_logic_2009.pdf
- Size:
- 186.94 KB
- Format:
- Adobe Portable Document Format