Pages that link to "Item:Q5262938"

The following pages link to Coalgebraic Modal Logic Beyond Sets (Q5262938):

Displaying 25 items.

• Coinductive predicates and final sequences in a fibration (Q265811) (← links)
• On a categorical framework for coalgebraic modal logic (Q283748) (← links)
• Presenting functors on many-sorted varieties and applications (Q618170) (← links)
• Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
• Coalgebraic minimization of automata by initiality and finality (Q1744392) (← links)
• Coalgebraic logics \& duality (Q1798781) (← links)
• Steps and traces (Q1798791) (← links)
• Chu duality theory and coalgebraic representation of quantum symmetries (Q2125156) (← links)
• Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes (Q2257984) (← links)
• Modular construction of complete coalgebraic logics (Q2464936) (← links)
• A Name Abstraction Functor for Named Sets (Q2873662) (← links)
• Functorial Coalgebraic Logic: The Case of Many-sorted Varieties (Q2873668) (← links)
• Structural Operational Semantics and Modal Logic, Revisited (Q2919456) (← links)
• Coalgebraic trace semantics via forgetful logics (Q2974794) (← links)
• Coalgebraic logic over general measurable spaces – a survey (Q3005987) (← links)
• Final coalgebras in accessible categories (Q3094168) (← links)
• A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation (Q3178292) (← links)
• A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes (Q4606700) (← links)
• Coinductive predicates and final sequences in a fibration (Q4606703) (← links)
• (Q5028440) (← links)
• Coalgebraic Geometric Logic: Basic Theory (Q5060182) (← links)
• Smooth coalgebra: testing vector analysis (Q5361142) (← links)
• Many-valued coalgebraic logic over semi-primal varieties (Q6597956) (← links)
• Minimisation in logical form (Q6612779) (← links)
• A categorical approach to coalgebraic fixpoint logic (Q6666772) (← links)