Publication:2464936

DOI10.1016/J.TCS.2007.06.002zbMATH Open1126.03020OpenAlexW2133256831WikidataQ126252984 ScholiaQ126252984MaRDI QIDQ2464936FDOQ2464936

Dirk Pattinson, Corina Cîrstea

Publication date: 18 December 2007

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

Full work available at URL: https://eprints.soton.ac.uk/262612/1/tcs.pdf

zbMATH Keywords

coalgebracompletenessmodal logicprobabilistic systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Categorical logic, topoi (03G30)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Categorical logic and type theory
• Universal coalgebra: A theory of systems
• Bisimulation for labelled Markov processes
• Coalgebraic Modal Logic Beyond Sets
• On the final sequence of a finitary set functor
• Bisimulation through probabilistic testing
• Bisimulation for probabilistic transition systems: A coalgebraic approach
• A final coalgebra theorem
• Coalgebraic logic
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Algebraic semantics for coalgebraic logics
• Expressive logics for coalgebras via terminal sequence induction
• Probability logic for type spaces
• Results on the propositional \(\mu\)-calculus
• Reactive, generative, and stratified models of probabilistic processes
• A hierarchy of probabilistic system types
• Probabilistic extensions of process algebras.
• Many-sorted coalgebraic modal logic: A model-theoretic study
• Specifying coalgebras with modal logic
• From modal logic to terminal coalgebras
• A compositional approach to defining logics for coalgebras
• On expressivity and compositionality in logics for coalgebras

Cited In (19)

• Hybrid logic with the difference modality for generalisations of graphs
• Constructing Fully Complete Models of Multiplicative Linear Logic
• Maximal traces and path-based coalgebraic temporal logics
• Generic infinite traces and path-based coalgebraic temporal logics
• On a categorical framework for coalgebraic modal logic
• Presenting functors on many-sorted varieties and applications
• Title not available (Why is that?)
• Title not available (Why is that?)
• Coalgebraic semantics of modal logics: an overview
• Coalgebraic Completeness-via-Canonicity
• Coalgebraic logics \& duality
• Coalgebraic logic for stochastic right coalgebras
• Modular games for coalgebraic fixed point logics
• The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games
• Coalgebraic trace semantics for combined possibilitistic and probabilistic systems
• Coalgebraic completeness-via-canonicity for distributive substructural logics
• Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
• Modularity in coalgebra
• Completeness for the coalgebraic cover modality

This page was built for publication: Modular construction of complete coalgebraic logics

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