Semantical Principles in the Modal Logic of Coalgebras
- 16 March 2001
- book chapter
- Published by Springer Nature
- p. 514-526
- https://doi.org/10.1007/3-540-44693-1_45
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- A final coalgebra theoremPublished by Springer Nature ,2005
- From modal logic to terminal coalgebrasTheoretical Computer Science, 2001
- Specifying coalgebras with modal logicTheoretical Computer Science, 2001
- Coalgebras and Modal LogicElectronic Notes in Theoretical Computer Science, 2000
- A Logic for Coalgebraic SimulationElectronic Notes in Theoretical Computer Science, 2000
- Towards a Duality Result in Coalgebraic Modal LogicElectronic Notes in Theoretical Computer Science, 2000
- Coalgebraic logicAnnals of Pure and Applied Logic, 1999
- Terminal sequences for accessible endofunctorsElectronic Notes in Theoretical Computer Science, 1999
- Relators and Metric Bisimulations: (Extended Abstract)Electronic Notes in Theoretical Computer Science, 1998
- On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spacesMathematical Structures in Computer Science, 1998