Skip to content

Latest commit

 

History

44 Commits

Folders and files

NameName
Last commit message
Last commit date
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

compat-frames

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)

About

Jupyter notebook for the paper "Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics"

Resources

Stars

1 star

Watchers

2 watching

Forks

Releases

Packages

Contributors

Languages