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

bisimulation-invariant logicmodal \(\mu\)-calculusmonadic second-order logic

Mathematics Subject Classification ID

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

Recommendations

• An expressive completeness theorem for coalgebraic modal -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

(13)

• Model theory of monadic predicate logic with the infinity quantifier
• Coalgebraic Lindström theorems
• A van Benthem/Rosen theorem for coalgebraic predicate logic
• A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation
• 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?)
• Expressive logics for coinductive predicates
• Logic-induced bisimulations
• An expressive completeness theorem for coalgebraic modal -calculi
• Expressive Logics for Coinductive Predicates
• scientific article; zbMATH DE number 7774245 (Why is no real title available?)
• Modal automata: analysing modal fixpoint logics, one step at a time (invited talk)

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)