Skip to content
<title>Channels - Positive fragments of coalgebraic logics :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Positive fragments of coalgebraic logics
Search for more channels:
Similar Items: Positive fragments of coalgebraic logics
Channel Options
View Record
Explore related channels
Quick Look
Strongly Complete Logics for Coalgebras
Quick Look
Moss' logic for ordered coalgebras
Quick Look
Coalgebraic Semantics for Probabilistic Logic Programming
Quick Look
Coalgebraic Geometric Logic: Basic Theory
Quick Look
Coalgebraic trace semantics via forgetful logics
Quick Look
Linear-time logics -- a coalgebraic perspective
Quick Look
On Sub-Propositional Fragments of Modal Logic
Quick Look
Model Theory and Proof Theory of Coalgebraic Predicate Logic
Quick Look
Lindstrom theorems for fragments of first-order logic
Quick Look
Covering and separation for logical fragments with modular predicates
Quick Look
Many-valued coalgebraic logic over semi-primal varieties
Quick Look
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
Quick Look
A Fragment of Dependence Logic Capturing Polynomial Time
Quick Look
Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees
Quick Look
On two-variable guarded fragment logic with expressive local Presburger constraints
Quick Look
Bases as Coalgebras
Quick Look
Effective Characterizations of Simple Fragments of Temporal Logic Using Carton--Michel Automata
Quick Look
Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic
Quick Look
Rational streams coalgebraically
Quick Look
Well-Pointed Coalgebras
Quick Look
Coalgebraic Behavioral Metrics
Quick Look
Duality for powerset coalgebras
Quick Look
Positive First-order Logic on Words and Graphs
Quick Look
Positive Hennessy-Milner Logic for Branching Bisimulation
Load more items
View Record
Prev
Explore related channels
Next
