research
∙
07/16/2023
Nested Sequents for Quantified Modal Logics
This paper studies nested sequents for quantified modal logics. In parti...
share
research
∙
04/14/2022
Non-Normal Super-Strict Implications
This paper introduces the logics of super-strict implications that are b...
research
∙
02/12/2020
