scientific article; zbMATH DE number 1688389

zbMATH Open0976.68109MaRDI QIDQ2762529FDOQ2762529

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 (20)

• Coalgebraic Modal Logic Beyond Sets
• Modal Rules are Co-Implications
• Title not available (Why is that?)
• A finite model construction for coalgebraic modal logic
• Structural operational semantics and modal logic, revisited
• On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence
• Expressive logics for coalgebras via terminal sequence induction
• Stone coalgebras
• Functorial coalgebraic logic: the case of many-sorted varieties
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Automata and fixed point logic: a coalgebraic perspective
• 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
• 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)