Modal Languages for Coalgebras in a Topological Setting
From MaRDI portal
Publication:4917043
DOI10.1016/S1571-0661(04)80913-7zbMath1260.68245OpenAlexW2075883279MaRDI QIDQ4917043
Publication date: 26 April 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80913-7
Modal logic (including the logic of norms) (03B45) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Domain theory in logical form
- Structural induction and coinduction in a fibrational setting
- Categorical logic and type theory
- Coalgebraic logic
- Additions and corrections to ``Terminal coalgebras in well-founded set theory
- Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
- On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
- The temporal logic of coalgebras via Galois algebras
- A final coalgebra theorem
