License: 
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license (CC BY-NC-ND 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.2.10.38
URN: urn:nbn:de:0030-drops-38938
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2013/3893/
Doberkat, Ernst-Erich ;
Kurz, Alexander
Weitere Beteiligte (Hrsg. etc.): Ernst-Erich Doberkat and Alexander Kurz
Coalgebraic Logics (Dagstuhl Seminar 12411)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 12411 "Coalgebraic Logics". The seminar deals with recent developments in the area of coalgebraic logic, a branch of logics which combines modal logics with coalgebraic
semantics. Modal logic finds its uses when reasoning about behavioural and temporal properties of computation and communication, coalgebras have evolved into a general theory of systems. Consequently, it is natural to combine both areas for a mathematical description of system specification. Coalgebraic logics are closely related to the broader categories semantics/formal methods and verification/logic.
BibTeX - Entry
@Article{doberkat_et_al:DR:2013:3893,
author = {Ernst-Erich Doberkat and Alexander Kurz},
title = {{Coalgebraic Logics (Dagstuhl Seminar 12411)}},
pages = {38--59},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {2},
number = {10},
editor = {Ernst-Erich Doberkat and Alexander Kurz},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2013/3893},
URN = {urn:nbn:de:0030-drops-38938},
doi = {10.4230/DagRep.2.10.38},
annote = {Keywords: Modal Logic, Coalgebra, Category Theory, Stochastic Logic, Categorical Semantics}
}
|
Keywords: |
|
Modal Logic, Coalgebra, Category Theory, Stochastic Logic, Categorical Semantics |
|
Collection: |
|
Dagstuhl Reports, Volume 2, Issue 10 |
|
Issue Date: |
|
2013 |
|
Date of publication: |
|
18.02.2013 |
