Coalgebraic Modal Logic in CoCasl

DOI10.1007/978-3-540-71998-4_8MaRDI QIDQ3591070zbMATH OpenOpenAlexFDO

Authors Lutz Schröder, Till Mossakowski

Publication date 10 September 2007

Published in Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71998-4_8

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

Recommendations

• Algebraic-coalgebraic specification in CoCasl.
• Algebraic-coalgebraic specification in CoCASL
• scientific article; zbMATH DE number 1231627
• Specifying coalgebras with modal logic
• Coalgebraic modal logic beyond sets

Cited in

(7)

• Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic
• scientific article; zbMATH DE number 5872402 (Why is no real title available?)
• Interacting with Modal Logics in the Coq Proof Assistant
• scientific article; zbMATH DE number 1497872 (Why is no real title available?)
• Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics
• Coalgebraic Announcement Logics
• Algebraic-coalgebraic specification in CoCasl.

Describes a project that uses

Uses Software

• CoCasl

This page was built for publication: Coalgebraic Modal Logic in CoCasl

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