Sciweavers

Share
18 search results - page 1 / 4
» Coalgebraic Modal Logic Beyond Sets
Sort
View
ENTCS
2007
151views more  ENTCS 2007»
8 years 12 months ago
Coalgebraic Modal Logic Beyond Sets
Polyadic coalgebraic modal logic is studied in the setting of locally presentable categories. It is shown that under certain assumptions, accessible functors admit expressive logi...
Bartek Klin
FOSSACS
2005
Springer
9 years 5 months ago
Expressivity of Coalgebraic Modal Logic: The Limits and Beyond
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...
Lutz Schröder
FOSSACS
2008
Springer
9 years 1 months ago
Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics
Coalgebras provide a uniform framework for the semantics of a large class of (mostly non-normal) modal logics, including e.g. monotone modal logic, probabilistic and graded modal l...
Dirk Pattinson, Lutz Schröder
CALCO
2015
Springer
13views Mathematics» more  CALCO 2015»
3 years 7 months ago
Final Coalgebras from Corecursive Algebras
We give a technique to construct a final coalgebra in which each element is a set of formulas of modal logic. The technique works for both the finite and the countable powerset ...
Paul Blain Levy
JLP
2006
99views more  JLP 2006»
8 years 12 months ago
An institution of modal logics for coalgebras
This paper presents a modular framework for the specification of certain inductivelydefined coalgebraic types. Modal logics for coalgebras of polynomial endofunctors on the catego...
Corina Cîrstea
books