Expressiveness modulo bisimilarity: a coalgebraic perspective

DOI10.1007/978-3-319-06025-5_2zbMATH Open1354.03023OpenAlexW2096500204MaRDI QIDQ5249665FDOQ5249665

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cited In (10)

• Bisimulation for weakly expressive coalgebraic modal logics
• Monadic second-order logic and bisimulation invariance for coalgebras
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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)