Modal logics for observation equivalences

MaRDI QIDQ2843735zbMATH OpenFDO

Authors Jan Rothe, Dragan Mašulović

Publication date 23 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104806467

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Towards weak bisimulation for coalgebras
• Weak bisimulations for coalgebras over ordered functors
• A syntactical approach to weak (bi-)simulation for coalgebras
• Bisimulation for weakly expressive coalgebraic modal logics
• Weak bisimulation for action-type coalgebras (extended abstract)

Cited in

(10)

• Capturing equilibrium models in modal logic
• Towards weak bisimulation for coalgebras
• The Modal Logic of Equilibrium Models
• Modalized observers
• scientific article; zbMATH DE number 3878352 (Why is no real title available?)
• scientific article; zbMATH DE number 408805 (Why is no real title available?)
• Bisimulation for weakly expressive coalgebraic modal logics
• Weak nominal modal logic
• Measurement-Theoretic Foundations of Observational-Predicate Logic
• A compositional approach to defining logics for coalgebras

This page was built for publication: Modal logics for observation equivalences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2843735)