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

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 TM, Pattinson D Journal article, Original article Reasoning with Global Assumptions in Arithmetic Modal Logics (2015) Kupke C, Pattinson D, Schröder L Conference contribution COOL — A Generic Reasoner for Coalgebraic Hybrid Logics (System Description) (2014) Gorin D, Pattinson D, Schröder L, Widmann F, Wißmann T Conference contribution, Original article Coalgebraic Announcement Logics (2013) Gorin D, Schröder L, Carreiro F Conference contribution, Original article Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC (2013) Kulacka A, Pattinson D, Schröder L Conference contribution, Original article Simulations and Bisimulations For Coalgebraic Modal Logics (2013) Gorin D, Schröder L Conference contribution, Original article Reasoning with Bounded Self-reference Using Logical Interpreters (2013) Gorin D, Schröder L, Wißmann T Conference contribution, Original article Narcissists Are Easy, Stepmothers Are Hard (2012) Gorin D, Schröder L Conference contribution, Original article Extending ALCQ With Bounded Self-Reference (2012) Gorin D, Schröder L Conference contribution, Original article
‹ 1 2 3 ›