Dagstuhl Seminar Proceedings, Volume 9502



Publication Details

  • published at: 2010-01-21
  • Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik

Access Numbers

Documents

No documents found matching your filter selection.
Document
09502 Abstracts Collection – Coalgebraic Logics

Authors: Ernst-Erich Doberkat and Alexander Kurz


Abstract
The seminar dealt with recent developments in the emerging area of coalgebraic logic and was the first Dagstuhl seminar on that topic. Coalgebraic logic is a branch of logic which studies coalgebras as models of systems and their logics. It can be seen as generalising and extending the classical theory of modal logic to more general models of systems than labelled transition systems. Traditionally, modal logics find their use when reasoning about behavioural and temporal properties of computation and communication, whereas coalgebras give a uniform account for a large class of different systems. The seminar discussed foundational topics in a particular branch of logic, so problems which command a direct application in an industrial context were outside the seminar's scope. We expect, however, that specification methods related to coalgebraic logics will enter fields like model checking and other areas of industrial interest, once the mathematical foundations in this area are firmer and better understood.

Cite as

Ernst-Erich Doberkat and Alexander Kurz. 09502 Abstracts Collection – Coalgebraic Logics. In Coalgebraic Logics. Dagstuhl Seminar Proceedings, Volume 9502, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)


Copy BibTex To Clipboard

@InProceedings{doberkat_et_al:DagSemProc.09502.1,
  author =	{Doberkat, Ernst-Erich and Kurz, Alexander},
  title =	{{09502 Abstracts Collection – Coalgebraic Logics}},
  booktitle =	{Coalgebraic Logics},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{9502},
  editor =	{Ernst-Erich Doberkat and Alexander Kurz},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09502.1},
  URN =		{urn:nbn:de:0030-drops-24203},
  doi =		{10.4230/DagSemProc.09502.1},
  annote =	{Keywords: Modal logics, coalgebras, bisimulation and behavioral equivalence, relations, Markov transition systems}
}

Filters


Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail