Coequational logic for finitary functors
From MaRDI portal
Publication:2873671
DOI10.1016/J.ENTCS.2008.05.028zbMATH Open1279.03088OpenAlexW2019940009MaRDI QIDQ2873671FDOQ2873671
Authors: Daniel Schwencke 
Publication date: 24 January 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2008.05.028
Recommendations
- Coequational logic for accessible functors
- A note on expressive coalgebraic logics for finitary set functors
- A complete logic for behavioural equivalence in coalgebras of finitary set functors
- A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors
- Logical construction of final coalgebras
- Functorial coalgebraic logic: the case of many-sorted varieties
- Coalgebraic modal logic of finite rank
- Strongly complete logics for coalgebras
- scientific article; zbMATH DE number 1497872
- Coinductive foundations of infinitary rewriting and infinitary equational logic
Cites Work
- Universal coalgebra: A theory of systems
- On tree coalgebras and coalgebra presentations
- Title not available (Why is that?)
- On the final sequence of a finitary set functor
- Coalgebraic logic
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence
- Terminal coalgebras and free iterative theories
- Computer Science Logic
- Recursive coalgebras of finitary functors
- Modal operators for coequations
Cited In (5)
- Precongruences and parametrized coinduction for logics for behavioral equivalence
- A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors
- Coequational logic for accessible functors
- Coinductive predicates and final sequences in a fibration
- A complete logic for behavioural equivalence in coalgebras of finitary set functors
This page was built for publication: Coequational logic for finitary functors
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2873671)
