Conventional and Linear Formulas in a Logic of Coalgebras (1993)

by B P F Jacobs