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

Date

Authors

Schroder, Lutz

Pattinson, Dirk

Publisher

Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH

Abstract

Canonical 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

Keywords

Keywords: 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

URI

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

Collections

ANU Research Publications

Source

Leibniz International Proceedings in Informatics, LIPIcs

Type

Conference paper

Restricted until

2037-12-31

Downloads

File

Description

01_Schroder_Strong_completeness_of_2009.pdf (9.37 MB)

02_Schroder_Strong_completeness_of_2009.pdf (379.03 KB)