A Logic for Coalgebraic Simulation
✍
Alexandru Baltag
📂
Article
📅
2000
🏛
Elsevier Science
🌐
English
⚖ 940 KB
Building on the work of L. Moss on coalgebraic logic, we study in a general setting a class of infinitary modal logics for \(F\)-coalgebras, designed to capture simulation and bisimulation. We use work by A. Thijs on coalgebraic modelling of simulation, in terms of relators \(\Gamma\) as extensions