4 results
Neil Ghani ; Peter Hancock ; Dirk Pattinson.
We define representations of continuous functions on infinite streams of discrete values, both in the case of discrete-valued functions, and in the case of stream-valued functions. We define also an operation on the representations of two continuous functions between streams that yields a […]
Published on September 15, 2009
Corina Cirstea ; Clemens Kupke ; Dirk Pattinson.
The coalgebraic approach to modal logic provides a uniform framework that captures the semantics of a large class of structurally different modal logics, including e.g. graded and probabilistic modal logics and coalition logic. In this paper, we introduce the coalgebraic mu-calculus, an extension of […]
Published on August 11, 2011
Dirk Pattinson ; Lutz Schröder.
We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the purely modal part of the rule system. Our criterion applies also to a wide variety of logics outside the realm of normal […]
Published on March 17, 2011
Tadeusz Litak ; Dirk Pattinson ; Katsuhiko Sano ; Lutz Schröder.
We propose a generalization of first-order logic originating in a neglected work by C.C. Chang: a natural and generic correspondence language for any types of structures which can be recast as Set-coalgebras. We discuss axiomatization and completeness results for several natural classes of such […]
Published on March 20, 2018