Site not loading correctly?

This may be due to an incorrect BASE_URL configuration. See the MyST Documentation for reference.

Modal Logic

Overview of CL

Examples

Introduction to CL

Functorial Modal Logic

Order Enriched CL

Cospan (Bi)Similarity

Quantale Enriched CL

Translations of Logics

...

References¶

Kurz-Leal