Expressiveness modulo bisimilarity: a coalgebraic perspective

DOI10.1007/978-3-319-06025-5_2MaRDI QIDQ5249665zbMATH OpenOpenAlexFDO

Authors Yde Venema

Publication date 11 May 2015

Published in Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL https://pure.uva.nl/ws/files/2346382/157650_vene_expr2014.pdf

zbMATH Keywords

monadic second-order logicmodal \(\mu\)-calculusbisimulation-invariant logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• An expressive completeness theorem for coalgebraic modal \(\mu\)-calculi
• Monadic second-order logic and bisimulation invariance for coalgebras
• A van Benthem/Rosen theorem for coalgebraic predicate logic
• Bisimulation for weakly expressive coalgebraic modal logics
• Coalgebraic Lindström theorems

Cited in

(10)

• Bisimulation for weakly expressive coalgebraic modal logics
• Monadic second-order logic and bisimulation invariance for coalgebras
• scientific article; zbMATH DE number 7440178 (Why is no real title available?)
• A van Benthem/Rosen theorem for coalgebraic predicate logic
• An expressive completeness theorem for coalgebraic modal \(\mu\)-calculi
• Expressive Logics for Coinductive Predicates
• Coalgebraic Lindström theorems
• scientific article; zbMATH DE number 7774245 (Why is no real title available?)
• A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation
• Model theory of monadic predicate logic with the infinity quantifier

This page was built for publication: Expressiveness modulo bisimilarity: a coalgebraic perspective

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