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)
-
Notifications
You must be signed in to change notification settings - Fork 0
Jupyter notebook for the paper "Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics"
License
wesholliday/compat-frames
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Jupyter notebook for the paper "Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics"
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published