Project Details
Koalgebraische Eigenschaften stochastischer Relationen
Applicant
Professor Dr. Ernst-Erich Doberkat
Subject Area
Theoretical Computer Science
Term
from 2010 to 2014
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 175935990
Stochastische Relationen haben sich als fruchtbarer Untersuchungsgegenstand erwiesen, insbesondere stehen kategorielle Fragestellungen und Anwendungen in der modalen und der koalgebraischen Logik im Mittelpunkt der Betrachtungen, Querbez¨uge zur universellen Algebra wie zur deskriptiven Mengenlehre konnten in den bisherigen Arbeiten identifiziert und partiell weiterverfolgt werden. Das beantragte Vorhaben m¨ochte diese Aspekte weiter untersuchen, wobei logische, kategorielle und ordnungstheoretische Fragen im Vordergund stehen sollen.
DFG Programme
Research Grants