Pages that link to "Item:Q4405697"
From MaRDI portal
The following pages link to The temporal logic of coalgebras via Galois algebras (Q4405697):
Displaying 20 items.
- Simulations in coalgebra (Q703522) (← links)
- A logic of implications in algebra and coalgebra (Q1047097) (← links)
- On institutions for modular coalgebraic specifications. (Q1603816) (← links)
- Coalgebras and monads in the semantics of Java (Q1853752) (← links)
- Finitary coalgebraic multisemilattices and multilattices. (Q2249004) (← links)
- Automata and fixed point logic: a coalgebraic perspective (Q2495648) (← links)
- A modal proof theory for final polynomial coalgebras (Q2503317) (← links)
- Many-sorted coalgebraic modal logic: A model-theoretic study (Q2747941) (← links)
- A Coalgebraic View of Bar Recursion and Bar Induction (Q2811334) (← links)
- Towards Algebraic Semantics of Circus Time (Q2814616) (← links)
- Comprehension for coalgebras (Q2842555) (← links)
- Definability, canonical models, compactness for finitary coalgebraic modal logic (Q2842556) (← links)
- A syntactical approach to weak (bi-)simulation for coalgebras (Q2842561) (← links)
- A note on coalgebras and presheaves (Q2842566) (← links)
- Process Calculi à la Bird-Meertens (Q4917032) (← links)
- Modal Operators for Coequations (Q4917039) (← links)
- Modal Rules are Co-Implications (Q4917041) (← links)
- Modal Languages for Coalgebras in a Topological Setting (Q4917043) (← links)
- A coalgebraic view on reachability (Q5218979) (← links)
- A presheaf semantics for quantified temporal logics (Q6562516) (← links)