Cultural advice

The Australian National University acknowledges, celebrates and pays our respects to the Ngunnawal and Ngambri people of the Canberra region and to all First Nations Australians on whose traditional lands we meet and work, and whose cultures are among the oldest continuing cultures in human history.

Aboriginal and Torres Strait Islander peoples are advised that ANU Library collections may include images, names, voices, and other representations of deceased persons.

Material in the collection may contain terms, language or views that reflect the period in which the item was created and may be considered inappropriate today.

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.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.type.statusPublished Version

Downloads

Original bundle

Now showing 1 - 2 of 2
Thumbnail Image
Name:
01_Schroder_Strong_completeness_of_2009.pdf
Size:
9.37 MB
Format:
Adobe Portable Document Format
Download
Thumbnail Image
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-2026 LYRASIS