Skip to main content

Ctrl+K

Coalgebraic Logic

Introduction

Modal Logic

Introduction to Modal Logic

Overview or Coalgebraic Logic

Introduction
Origins in Domain Theory
The Landscape

Examples

Polyonomial Functors
Powerdomains
Neighbourhood Frames

Introduction to Coalgebraic Logic

Coalgebraic (Bi)Similarity
Basic Coalgebraic Logic
Predicate Liftings
Monotone Predicate Liftings
Expressive Predicate Liftings
Relation Lifting
Moss’s Coalgebraic Logic

Functorial Modal Logic

Introduction
Presenting Functors
Boolean Logic for Set-Coalgebras
Semantics of Coalgebraic Logic
Completeness
Expressivity
Translations of Logics
Chen’s Category CoLog

Cospan (Bi)Similarity.md

Cospan Bisimulation: Overview
Cospan Bisimulation
Neighbourhood Coalgebras
Bisimulation for Ordered Coalgebras
Cospan Bisimulation 2

Repository
Open issue

.md

Translations of Logics

Contents

References

Translations of Logics#

…

References#

Kurz-Leal

previous

Expressivity

next

Chen’s Category CoLog

Contents

References

By Alexander Kurz

© Copyright 2023.