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

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

Outline of Quantale Enriched CL

Introduction
Quantalification

Repository
Open issue

Search

Ctrl+K

By Alexander Kurz

© Copyright 2023.