2 Search Results for "Doberkat, Ernst-Erich"

Document

Coalgebraic Logics (Dagstuhl Seminar 12411)

Authors: Ernst-Erich Doberkat and Alexander Kurz

Published in: Dagstuhl Reports, Volume 2, Issue 10 (2013)

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.

Cite as

Ernst-Erich Doberkat and Alexander Kurz. Coalgebraic Logics (Dagstuhl Seminar 12411). In Dagstuhl Reports, Volume 2, Issue 10, pp. 38-59, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@Article{doberkat_et_al:DagRep.2.10.38,
  author =	{Doberkat, Ernst-Erich and Kurz, Alexander},
  title =	{{Coalgebraic Logics (Dagstuhl Seminar 12411)}},
  pages =	{38--59},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{2},
  number =	{10},
  editor =	{Doberkat, Ernst-Erich and Kurz, Alexander},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.2.10.38},
  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}
}

Document

DOI: 10.4230/DagSemProc.09502.1

09502 Abstracts Collection – Coalgebraic Logics

Authors: Ernst-Erich Doberkat and Alexander Kurz

Published in: Dagstuhl Seminar Proceedings, Volume 9502, Coalgebraic Logics (2010)

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}
}

Refine by Author
2 Doberkat, Ernst-Erich
2 Kurz, Alexander

Refine by Classification

Refine by Keyword
1 Categorical Semantics
1 Category Theory
1 Coalgebra
1 Markov transition systems
1 Modal Logic
Show More...

Refine by Type
2 document

Refine by Publication Year
1 2010
1 2013

2 Search Results for "Doberkat, Ernst-Erich"

Coalgebraic Logics (Dagstuhl Seminar 12411)

Abstract

Cite as

09502 Abstracts Collection – Coalgebraic Logics

Abstract

Cite as

Thanks for your feedback!

Could not send message