Publikationen

Seite 4 von 6.

Lutz Schröder; Dirk Pattinson
Rank-1 modal logics are coalgebraic
In: Journal of Logic and Computation (JLC), Vol. o.A. Oxford University Press, 12/2008.
Till Mossakowski; Lutz Schröder; Sergey Goncharov
A generic complete dynamic logic for reasoning about purity and effects
In: J. Fiadeiro; P. Inverardi (Hrsg.). Fundamental Approaches to Software Engineering. Fundamental Approaches to Software Engineering (FASE-08), …
Corina Cirstea; Alexander Kurz; Dirk Pattinson; Lutz Schröder; Yde Venema
Modal logics are coalgebraic
In: Samson Abramsky; Vladimiro Sassone (Hrsg.). Visions of Computer Science. BCS International Academic Conference (BCS-08), September 22-24, London, …
Dirk Pattinson; Lutz Schröder
Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics
In: Roberto Amadio (Hrsg.). Foundations of Software Science and Computation Structures (FOSSACS 2008). International Conference on Foundations of …
Dirk Pattinson; Lutz Schröder
Admissibility of Cut in Coalgebraic Logics
In: J. Adamek; C. Kupke (Hrsg.). Coalgebraic Methods in Computer Science. International Workshop on Coalgebraic Methods in Computer Science (CMCS-08), …
Lutz Schröder
Expressivity of Coalgebraic Modal Logic: The Limits and Beyond
In: Theoretical Computer Science, Vol. 390, Pages 230-247, 2008.
Lutz Schröder
Linearizability of Non-expansive Semigroup Actions on Metric Spaces
In: Topology and its Applications, Vol. 155, Pages 1576-1579, 2008.
Lutz Schröder; Dirk Pattinson
How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics
In: Gerhard Brewka; Jerôme Lang (Hrsg.). Principles of Knowledge Representation and Reasoning (KR 2008). International Conference on Principles of …
Lutz Schröder; Dirk Pattinson
Shallow models for non-iterative modal logics
In: Andreas Dengel; Karsten Berns; Thomas Breuel; Frank Bomarius; Thomas Roth-Berghofer (Hrsg.). Proc. German Conference on Artificial Intelligence …
Lutz Schröder
Bootstrapping Inductive and Coinductive Types in HasCASL
In: Logical Methods in Computer Science (LMCS), Vol. 4, No. 4:17, Pages 1-27, 2008.