Coalgebra-based generic decision procedures and complexity bounds for modal and hybrid logics (GenMod)

Third party funded individual grant


Acronym: GenMod

Start date : 01.05.2008

End date : 30.09.2016

Extension date: 31.08.2019

close-button

Types of publications

Journal article
Book chapter / Article in edited volumes
Authored book
Translation
Thesis
Edited Volume
Conference contribution
Other publication type
Unpublished / Preprint

Publication year

From
To

Abstract

Journal

Game-based local model checking for the coalgebraic µ-calculus (2019) Hausmann D, Schröder L Conference contribution Optimal Satisfiability Checking for Arithmetic µ-Calculi (2019) Hausmann D, Schröder L Conference contribution Completeness of Flat Coalgebraic Fixpoint Logics (2018) Schröder L, Venema Y Journal article Permutation games for the weakly aconjunctive μ -calculus (2018) Hausmann D, Schröder L, Deifel HP Conference contribution, Original article Model Theory and Proof Theory of Coalgebraic Predicate Logic (2018) Litak TM, Pattinson D, Sano K, Schröder L Journal article, Original article Automatic verification of application-tailored OSEK kernels (2017) Deifel HP, Göttlinger M, Milius S, Schröder L, Dietrich C, Lohmann D Conference contribution, Original article Uniform Interpolation in Coalgebraic Modal Logic (2017) Seifan F, Schröder L, Pattinson D Conference contribution 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 Global Caching for the Flat Coalgebraic μ-Calculus (2015) Hausmann D, Schröder L Conference contribution, Conference Contribution
‹ 1 2 3 ›