scientific article; zbMATH DE number 1688389

zbMATH Open0976.68109MaRDI QIDQ2762529FDOQ2762529

Authors: Dirk Pattinson 

Publication date: 9 January 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2010/20100514

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1497872
• Coalgebraic logic
• scientific article; zbMATH DE number 1753205
• From modal logic to terminal coalgebras
• Specifying coalgebras with modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (30)

• A modal proof theory for final polynomial coalgebras
• Title not available (Why is that?)
• A coalgebraic view of characteristic formulas in equational modal fixed point logics
• A finite model construction for coalgebraic modal logic
• Structural operational semantics and modal logic, revisited
• On a categorical framework for coalgebraic modal logic
• On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence
• Expressive logics for coalgebras via terminal sequence induction
• Stone coalgebras
• Coalgebraic modal logic beyond sets
• Topo-bisimulations are coalgebraic
• Modal rules are co-implications
• Functorial coalgebraic logic: the case of many-sorted varieties
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Universal coalgebras and their logics
• Automata and fixed point logic: a coalgebraic perspective
• Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)
• Algebraic-coalgebraic specification in CoCASL
• Modal predicates and coequations
• Expressivity of coalgebraic modal logic: the limits and beyond
• Towards weak bisimulation for coalgebras
• A syntactical approach to weak (bi-)simulation for coalgebras
• Definability, canonical models, compactness for finitary coalgebraic modal logic
• Towards coalgebraic behaviourism
• Many-sorted coalgebraic modal logic: A model-theoretic study
• Institutionalising many-sorted coalgebraic modal logic
• Algebra and Coalgebra in Computer Science
• Co-algebraic models for quantitative spatial logics
• Coalgebraic symbolic semantics
• Mathematical Structuralism, Modal Nominalism, and the Coherence Principle

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 Q2762529)