Strong completeness of coalgebraic modal logics

Simple item page
dc.contributor.authorSchroder, Lutz
dc.contributor.authorPattinson, Dirk
dc.coverage.spatialFreiburg Germany
dc.date.accessioned2015-12-13T23:00:48Z
dc.date.createdFebruary 26-28 2009
dc.date.issued2009
dc.date.updated2016-02-24T08:41:56Z
dc.description.abstractCanonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction is well understood for Kripke semantics, non-normal modal logics often present subtl
dc.identifier.isbn9783939897095
dc.identifier.urihttp://hdl.handle.net/1885/84295
dc.publisherSchloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
dc.relation.ispartofseries26th International Symposium on Theoretical Aspects of Computer Science, STACS 2009
dc.sourceLeibniz International Proceedings in Informatics, LIPIcs
dc.source.urihttp://arxiv.org/abs/0902.2072
dc.subjectKeywords: Coalgebras; Coherence conditions; Deduction; Finite multiplicity; Logic in computer science; Modal logic; Semantic framework; Strong completeness; Computer science; Semantics; Formal logic Coalgebra; Deduction; Logic in computer science; Modal logic; Semantics
dc.titleStrong completeness of coalgebraic modal logics
dc.typeConference paper
local.bibliographicCitation.lastpage684
local.bibliographicCitation.startpage673
local.contributor.affiliationSchroder, Lutz, Universitat Bremen
local.contributor.affiliationPattinson, Dirk, College of Engineering and Computer Science, ANU
local.contributor.authoremailu4762643@anu.edu.au
local.contributor.authoruidPattinson, Dirk, u4762643
local.description.embargo2037-12-31
local.description.notesImported from ARIES
local.description.refereedYes
local.identifier.absfor100699 - Computer Hardware not elsewhere classified
local.identifier.ariespublicationf5625xPUB12568
local.identifier.scopusID2-s2.0-84865586907
local.identifier.uidSubmittedByf5625
local.type.statusPublished Version

Downloads

Original bundle

Now showing 1 - 2 of 2
No Thumbnail Available
Name:
01_Schroder_Strong_completeness_of_2009.pdf
Size:
9.37 MB
Format:
Adobe Portable Document Format
Download
No Thumbnail Available
Name:
02_Schroder_Strong_completeness_of_2009.pdf
Size:
379.03 KB
Format:
Adobe Portable Document Format
Download

Collections

ANU Research Publications

DSpace software copyright © 2002-2024 LYRASIS