298

Universal coalgebra: a theory of systems
–
 2000

55

Initial Algebra and Final Coalgebra Semantics for Concurrency
–
 1994

20

MODEL THEORY OF MODAL LOGIC
–

1

5 MODEL THEORY OF MODAL LOGIC
–

28

Mathematical Modal Logic: a View of its Evolution
–
 2001

228

A Tutorial on (Co)Algebras and (Co)Induction
–
 1997

3

Duality for Some Categories of Coalgebras
–
 2001

2

Algebraic Polymodal Logic: A Survey
–
 2000

30

Mongruences and Cofree Coalgebras
–
 1995

47

On the Foundations of Final Semantics: NonStandard Sets, Metric Spaces, Partial Orders
–
 1998

14

A Coalgebraic Foundation for Linear Time Semantics
–
 1999

134

Towards a Mathematical Operational Semantics
–
 1997

30

On the Foundations of Final Coalgebra Semantics: nonwellfounded sets, partial orders, metric spaces
–
 1998

13

Modal Logic: A Semantic Perspective
–
 1988

1

Representable Cylindric Algebras and ManyDimensional Modal Logics
–
 2010

11

Monotonic Modal Logics
–
 2003


Lurdes Sousa 3
–

1

A Theory of Metric Labelled Transition Systems
–
 1995

33

The Temporal Logic of Coalgebras via Galois Algebras
–
 1999
