This repository contains a Jupyter notebook with supplementary material for the paper "Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics" (https://arxiv.org/abs/2201.07098) by Wesley H. Holliday (wesholliday@berkeley.edu)
wesholliday/compat-frames
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|