research
∙
07/26/2022
Canonicity in power and modal logics of finite achronal width
We develop a method for showing that various modal logics that are valid...
research
∙
05/09/2019