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

Neighbourhood Frames

Neighbourhood Frames#

… to be written …

previous

Powerdomains

next

Coalgebraic (Bi)Similarity

By Alexander Kurz

© Copyright 2023.