Expressive Logics for Coinductive Predicates

DOI10.4230/LIPICS.CSL.2020.26MaRDI QIDQ5874213zbMATH OpenOpenAlexFDO

Authors Clemens Kupke, Jurriaan Rot

Publication date 7 February 2023

Full work available at URL https://doi.org/10.4230/lipics.csl.2020.26

zbMATH Keywords

coalgebrafibrationmodal logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Recommendations

• Expressive logics for coinductive predicates
• Expressive logics for coalgebras via terminal sequence induction
• Expressiveness modulo bisimilarity: a coalgebraic perspective
• Expressivity of coalgebraic modal logic: the limits and beyond
• Foundations of Software Science and Computational Structures

Cited in

(5)

• Syntactic forcing models for coherent logic
• Non-well-founded deduction for induction and coinduction
• scientific article; zbMATH DE number 7037626 (Why is no real title available?)
• Expressive logics for coinductive predicates
• Expressive quantale-valued logics for coalgebras: an adjunction-based approach

This page was built for publication: Expressive Logics for Coinductive Predicates

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