On logics for coalgebraic simulation

Electronic Notes in Theoretical Computer Science

Volumn 107, Issue 1-4 SPEC. ISS., 2004, Pages 63-90

  Cîrstea, Corina ^a  

^a UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

Coalgebra; Modal logic; Simulation

Indexed keywords

COALGEBRA; COALGEBRAIC SIMULATIONS; MODAL LOGIC; PROBABILISTIC TRANSITION SYSTEMS; COALGEBRA SIMULATION;

COMPUTER SCIENCE; COMPUTER SIMULATION; FORMAL LOGIC; MARKOV PROCESSES; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; PROBABILITY; MATHEMATICAL PROGRAMMING; MODAL ANALYSIS;

ALGEBRA;

EID: 10444286679     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.02.026     Document Type: Conference Paper

References (14)

1. A. Baltag. A logic for coalgebraic simulation. In H. Reichel, editor, Coalgebraic Methods in Computer Science, volume 33 of Electronic Notes in Theoretical Computer Science. Elsevier, 2000.
2. F. Bartels, A. Sokolova, and E. de Vink. A hierarchy of probabilistic system types. In H.P. Gumm, editor, Coalgebraic Methods in Computer Science, volume 82.1 of Electronic Notes in Theoretical Computer Science, 2003.
3. F. Borceux. Handbook of Categorical Algebra, volume II. Cambridge University Press, Cambridge, 1994.
4. A. Carboni, G.M. Kelly, and R.J. Wood. A 2-categorical approach to change of base and geometric morphisms I. Technical Report 90-1, Department of Pure Mathematics, University of Sidney, 1990.
5. C. Cîrstea. On expressivity and compositionality in logics for coalgebras. In H.P. Gumm, editor, Coalgebraic Methods in Computer Science, volume 82.1 of Electronic Notes in Theoretical Computer Science. Elsevier, 2003.
6. E.P. de Vink and J.J.M.M. Rutten. Bisimulation for probabilistic transition systems: a coalgebraic approach. Theoretical Computer Science, 221:271-293, 1999.
7. J. Desharnais. A logical characterisation of simulation for labelled Markov chains. In Proceedings of PROBMIV'99. University of Birmingham, 1999. Technical Report CS-99-8.
8. W.H. Hesselink and A. Thijs. Fixpoint semantics and simulation. Theoretical Computer Science, 238:275-311, 2000.
9. B. Jacobs. Many-sorted coalgebraic modal logic: a model-theoretic study. Theoretical Informatics and Applications, 35, 2001.
10. B. Jacobs and J. Hughes. Simulations in coalgebra. In H.P. Gumm, editor, Coalgebraic Methods in Computer Science, volume 82.1 of Electronic Notes in Theoretical Computer Science. Elsevier, 2003.
11. K.G. Larsen and A. Skou. Bisimulation through probabilistic testing. Information and Computation, 94:1-28, 1991.
12. L.S. Moss. Coalgebraic logic. Annals of Pure and Applied Logic, 96:277-317, 1999.
13. A. Thijs. Simulation and Fixpoint Semantics. PhD thesis, Rijksuniversiteit Groningen, 1996.
14. J. Worrell. Terminal sequences for accessible endofunctors. In B. Jacobs and J. Rutten, editors, Coalgebraic Methods in Computer Science, volume 19 of Electronic Notes in Theoretical Computer Science. Elsevier, 1999.