Probabilistische Beschreibungslogik als Fragment der Probabilistischen Logik Erster Stufe (ProbDL)
Third party funded individual grant
Acronym:
ProbDL
Start date :
01.04.2011
Global Caching for the Alternation-free mu-Calculus (2016)
Hausmann D, Schröder L, Egger C
Conference contribution, Original article
Global Caching for the Alternation-free Coalgebraic mu-calculus (2016)
Hausmann D, Schröder L, Egger C
Conference contribution
From the Editors (2015)
Pattinson D, Schröder L
Journal article, Editorial
Global Caching for the Flat Coalgebraic mu-Calculus (2015)
Hausmann D, Schröder L
Conference contribution, Original article
A van Benthem/Rosen Theorem for Coalgebraic Predicate Logic (2015)
Schröder L, Litak T, Pattinson D
Journal article, Original article
Sound and Complete Equational Reasoning over Comodels (2015)
Schröder L, Pattinson D
Conference contribution, Original article
Simplified Coalgebraic Trace Equivalence (2015)
Kurz A, Milius S, Pattinson D, Schröder L
Book chapter / Article in edited volumes
Generic Trace Semantics and Graded Monads (2015)
Milius S, Pattinson D, Schröder L
Conference contribution, Original article
Reasoning with Global Assumptions in Arithmetic Modal Logics (2015)
Kupke C, Pattinson D, Schröder L
Conference contribution
On Inconsistency and Unsatisfiability (2015)
Schröder L, Mossakowski T
Journal article, Original article