Document Type
Article
Publication Date
2012
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.
Recommended Citation
Ernst-Erich Doberkat, Alexander Kurz: Coalgebraic Logics (Dagstuhl Seminar 12411). Dagstuhl Reports 2(10): 38-59 (2012)
Copyright
The authors
Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 License.
Included in
Algebra Commons, Logic and Foundations Commons, Other Computer Engineering Commons, Other Computer Sciences Commons, Other Mathematics Commons
Comments
This article was originally published in Dagstuhl Reports, volume 2, issue 10, in 2012. DOI: 10.4230/DagRep.2.10.38