Skip to content
<title>Channels - Moss' logic for ordered coalgebras :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Moss' logic for ordered coalgebras
Search for more channels:
Similar Items: Moss' logic for ordered coalgebras
Channel Options
View Record
Explore related channels
Quick Look
Strongly Complete Logics for Coalgebras
Quick Look
Positive fragments of coalgebraic logics
Quick Look
Coalgebraic Geometric Logic: Basic Theory
Quick Look
Coalgebraic Semantics for Probabilistic Logic Programming
Quick Look
Coalgebraic trace semantics via forgetful logics
Quick Look
Linear-time logics -- a coalgebraic perspective
Quick Look
Model Theory and Proof Theory of Coalgebraic Predicate Logic
Quick Look
Weak bisimulation for coalgebras over order enriched monads
Quick Look
Many-valued coalgebraic logic over semi-primal varieties
Quick Look
Bases as Coalgebras
Quick Look
The succinctness of first-order logic on linear orders
Quick Look
Duality for powerset coalgebras
Quick Look
Rational streams coalgebraically
Quick Look
Well-Pointed Coalgebras
Quick Look
Coalgebraic Behavioral Metrics
Quick Look
Game semantics for first-order logic
Quick Look
Non-Deterministic Kleene Coalgebras
Quick Look
Relating coalgebraic notions of bisimulation
Quick Look
Conway games, algebraically and coalgebraically
Quick Look
Completeness for the coalgebraic cover modality
Quick Look
First-Order and Temporal Logics for Nested Words
Quick Look
Lindstrom theorems for fragments of first-order logic
Quick Look
On the Parameterized Intractability of Monadic Second-Order Logic
Quick Look
Two-Variable Logic with Two Order Relations
Load more items
View Record
Prev
Explore related channels
Next
