Coequational logic for finitary functors
From MaRDI portal
Publication:2873671
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
- scientific article; zbMATH DE number 46168 (Why is no real title available?)
- Coalgebraic logic
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence
- Computer Science Logic
- Modal operators for coequations
- On the final sequence of a finitary set functor
- On tree coalgebras and coalgebra presentations
- Recursive coalgebras of finitary functors
- Terminal coalgebras and free iterative theories
- Universal coalgebra: A theory of systems
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)
