Skip navigation
Skip navigation

Browsing by Author Schroder, Lutz

Or enter first few letters:  
Showing results 1 to 20 of 22

A Van Benthem/Rosen theorem for coalgebraic predicate logic

Author(s)Schroder, Lutz; Pattinson, Dirk; Litak, Tadeusz
TypeJournal article
Date Published2015
Date Created-

Admissibility of Cut in Coalgebraic Logics

Author(s)Pattinson, Dirk; Schroder, Lutz
TypeJournal article
Date Published2008
Date Created-

Coalgebraic correspondence theory

Author(s)Schroder, Lutz; Pattinson, Dirk
TypeConference paper
Date Published2010
Date CreatedMarch 20-28 2010

Coalgebraic hybrid logic

Author(s)Myers, Rob; Pattinson, Dirk; Schroder, Lutz
TypeConference paper
Date Published2009
Date CreatedMarch 22-29 2009

Coalgebraic predicate logic

Author(s)Litak, Tadeusz; Pattinson, Dirk; Sano, Katsuhiko, et al
TypeConference paper
Date Published2012
Date CreatedJuly 9-13 2012

CoLoSS: The Coalgebraic Logic Satisfiability Solver(System Description)

Author(s)Calin, Georgel; Myers, Rob; Pattinson, Dirk, et al
TypeJournal article
Date Published2009
Date Created-

COOL-A generic reasoner for coalgebraic hybrid logics (System description)

Author(s)Gorin, Daniel; Pattinson, Dirk; Schroder, Lutz, et al
TypeConference paper
Date Published2014
Date CreatedJuly 19-22 2014

Cut elimination in coalgebraic logics

Author(s)Pattinson, Dirk; Schroder, Lutz
TypeJournal article
Date Published2010
Date Created-

Description logics and fuzzy probability

Author(s)Schroder, Lutz; Pattinson, Dirk
TypeConference paper
Date Published2011
Date CreatedJuly 16-22 2011

Generic modal cut elimination applied to conditional logics

Author(s)Pattinson, Dirk; Schroder, Lutz
TypeConference paper
Date Published2009
Date CreatedJuly 6-10 2009

Generic modal cut elimination applied to conditional logics

Author(s)Pattinson, Dirk; Schroder, Lutz
TypeJournal article
Date Published2011
Date Created-

Global Caching for Coalgebraic Description Logics

Author(s)Gore, Rajeev; Kupke, Clemens; Pattinson, Dirk, et al
TypeConference paper
Date Published2010
Date CreatedJuly 16-19 2010

How many toes do I have? Parthood and number restrictions in description logics

Author(s)Schroder, Lutz; Pattinson, Dirk
TypeConference paper
Date Published2008
Date CreatedSeptember 16-19 2008

Modal logics are coalgebraic

Author(s)Cirstea, Corina; Kurz, Alexander; Pattinson, Dirk, et al
TypeJournal article
Date Published2011
Date Created-

Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra

Author(s)Schroder, Lutz; Pattinson, Dirk
TypeJournal article
Date Published2011
Date Created-

Named models in coalgebraic hybrid logic

Author(s)Schroder, Lutz; Pattinson, Dirk
TypeConference paper
Date Published2010
Date CreatedMarch 4-6 2010

Nominals for everyone

Author(s)Schroder, Lutz; Pattinson, Dirk; Kupke, Clemens
TypeConference paper
Date Published2009
Date CreatedApril 25-26 2009

PSPACE bounds for rank-1 modal logics

Author(s)Schroder, Lutz; Pattinson, Dirk
TypeJournal article
Date Published2009
Date Created-

Reasoning with Global Assumptions in Arithmetic Modal Logics

Author(s)Kupke, Clemens; Pattinson, Dirk; Schroder, Lutz
TypeJournal article
Date Published2015
Date Created-

Simplified coalgebraic trace equivalence

Author(s)Kurz, Alexander; Milius, Stefan; Pattinson, Dirk, et al
TypeJournal article
Date Published2014
Date Created-

Updated:  12 April 2016/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator