Specifying coalgebras with modal logic

DOI10.1016/S0304-3975(00)00125-0zbMath0974.68034MaRDI QIDQ5941162

Alexander Kurz

Publication date: 20 August 2001

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

verificationmodal logiccoalgebrasobject-oriented programmingspecification

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

A stochastic interpretation of propositional dynamic logic: expressivity, An institution of modal logics for coalgebras, Algebraic-coalgebraic specification in CoCASL, Coalgebraic modal logic: soundness, completeness and decidability of local consequence, A finite model construction for coalgebraic modal logic, Cut elimination in coalgebraic logics, Practical coinduction, Linear logic in computer science, Between syntax and semantics of resource oriented logic for IDS behavior description, Modular construction of complete coalgebraic logics, Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study, Expressivity of coalgebraic modal logic: the limits and beyond, Finitary coalgebraic multisemilattices and multilattices., Bisimulation proof methods in a path-based specification language for polynomial coalgebras, Expressive logics for coalgebras via terminal sequence induction, Final coalgebras for functors on measurable spaces, A modal proof theory for final polynomial coalgebras, Unnamed Item, Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic, Final coalgebras and the Hennessy-Milner property, Coalgebras and monads in the semantics of Java, Coalgebraic Modal Logic Beyond Sets

Cites Work

• Coalgebraic logic
• A model existence theorem in infinitary propositional modal logic
• Universal coalgebra: A theory of systems
• Final coalgebras and the Hennessy-Milner property
• An approach to object semantics based on terminal co-algebras
• Mongruences and cofree coalgebras
• From modal logic to terminal coalgebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item