Modal languages for coalgebras in a topological setting

DOI10.1016/S1571-0661(04)80913-7MaRDI QIDQ4917043zbMATH OpenOpenAlexFDO

Authors Dirk Pattinson

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• A note on expressive coalgebraic logics for finitary set functors
• From modal logic to terminal coalgebras
• Final coalgebras and the Hennessy-Milner property
• scientific article; zbMATH DE number 1497872
• Expressive logics for coalgebras via terminal sequence induction

Cites work

• A final coalgebra theorem
• Additions and corrections to ``Terminal coalgebras in well-founded set theory
• Categorical logic and type theory
• Coalgebraic logic
• Domain theory in logical form
• scientific article; zbMATH DE number 1231627 (Why is no real title available?)
• scientific article; zbMATH DE number 1497872 (Why is no real title available?)
• scientific article; zbMATH DE number 1497877 (Why is no real title available?)
• scientific article; zbMATH DE number 1753205 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• scientific article; zbMATH DE number 822489 (Why is no real title available?)
• scientific article; zbMATH DE number 3232606 (Why is no real title available?)
• Many-sorted coalgebraic modal logic: A model-theoretic study
• On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
• Structural induction and coinduction in a fibrational setting
• The temporal logic of coalgebras via Galois algebras

This page was built for publication: Modal languages for coalgebras in a topological setting

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