scientific article; zbMATH DE number 2087434

MaRDI QIDQ4738229zbMATH OpenFDO

Authors Alexander Kurz

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2303/23030238.htm

Mathematics Subject Classification ID

Logic in computer science (03B70) Categorical semantics of formal languages (18C50) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Coalgebraic logic
• A compositional approach to defining logics for coalgebras
• Final coalgebras and the Hennessy-Milner property
• A note on expressive coalgebraic logics for finitary set functors
• Coalgebraic modal logic of finite rank

Cited in

(2)

• Algebraic-coalgebraic specification in CoCASL
• Expressivity of coalgebraic modal logic: the limits and beyond

Describes a project that uses

Uses Software

• CCSL

This page was built for publication:

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