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.

Coalgebraic correspondence theory

Simple item page
dc.contributor.authorSchroder, Lutz
dc.contributor.authorPattinson, Dirk
dc.coverage.spatialPaphos
dc.date.accessioned2015-12-13T22:59:05Z
dc.date.createdMarch 20-28 2010
dc.date.issued2010
dc.date.updated2016-02-24T08:39:49Z
dc.description.abstractWe lay the foundations of a first-order correspondence theory for coalgebraic logics that makes the transition structure explicit in the first-order modelling. In particular, we prove a coalgebraic version of the van Benthem/Rosen theorem stating that both over arbitrary structures and over finite structures, coalgebraic modal logic is precisely the bisimulation invariant fragment of first-order logic.
dc.identifier.isbn9783642120312
dc.identifier.urihttp://hdl.handle.net/1885/83604
dc.publisherConference Organising Committee
dc.relation.ispartofseries13th International Conference on the Foundations of Software Science and Computational Structures, FoSSaCS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010
dc.sourceLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
dc.subjectKeywords: Arbitrary structures; Bisimulations; Coalgebraic; Coalgebraic logic; Finite structures; First order logic; First-order; Modal logic; Transition structures; Formal logic; Computer software
dc.titleCoalgebraic correspondence theory
dc.typeConference paper
local.bibliographicCitation.lastpage342
local.bibliographicCitation.startpage328
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.absseo970108 - Expanding Knowledge in the Information and Computing Sciences
local.identifier.ariespublicationf5625xPUB11890
local.identifier.doi10.1007/978-3-642-12032-9_23
local.identifier.scopusID2-s2.0-77951433763
local.type.statusPublished Version

Downloads

Original bundle

Now showing 1 - 2 of 2
Thumbnail Image
Name:
01_Schroder_Coalgebraic_correspondence_2010.pdf
Size:
189.4 KB
Format:
Adobe Portable Document Format
Download
Thumbnail Image
Name:
02_Schroder_Coalgebraic_correspondence_2010.pdf
Size:
213.86 KB
Format:
Adobe Portable Document Format
Download

Collections

ANU Research Publications

DSpace software copyright © 2002-2026 LYRASIS