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: https://drops.dagstuhl.de/opus/volltexte/2013/3893/
Doberkat, Ernst-Erich ; Kurz, Alexander
Weitere Beteiligte (Hrsg. etc.): Ernst-Erich Doberkat and Alexander Kurz
Coalgebraic Logics (Dagstuhl Seminar 12411)
| pdf-format: |
|
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 coalgebraicsemantics. 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 | |
| Seminar: | Dagstuhl Reports, Volume 2, Issue 10 | |
| Issue date: | 2013 | |
| Date of publication: | 18.02.2013 |
