scientific article; zbMATH DE number 1688389

MaRDI QIDQ2762529zbMATH OpenFDO

Authors Dirk Pattinson

Publication date 9 January 2002

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

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)

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

Cited in

(31)

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

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)