Skip to main content

Ctrl+K

Coalgebraic Logic

Introduction

Modal Logic

Introduction to Modal Logic

Overview of 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

Order Enriched Coalgebraic Logic

Introduction
Posetification

Cospan (Bi)Similarity.md

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

Repository
Open issue

.md

Introduction

Introduction#

… to be written …

previous

Chen’s Category CoLog

next

Posetification

By Alexander Kurz

© Copyright 2023.