research
∙
08/24/2022
Non-distributive positive logic as a fragment of first-order logic over semilattices
We characterise non-distributive positive logic as the fragment of a sin...
share
research
∙
04/28/2022
Positive (Modal) Logic Beyond Distributivity
We present a duality for non-necessarily-distributive (modal) lattices a...
research
∙
06/03/2021
A Coalgebraic Approach to Dualities for Neighborhood Frames
We develop a uniform coalgebraic approach to Thomason and Jónsson-Tarski...
research
∙
05/05/2021
Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication
Heyting-Lewis Logic is the extension of intuitionistic propositional log...
research
∙
12/27/2020
Modal meet-implication logic
We extend the meet-implication fragment of propositional intuitionistic ...
research
∙
11/20/2020
Goldblatt-Thomason Theorems for Modal Intuitionistic Logics
We prove Goldblatt-Thomason theorems for frames and models of a wide var...
research
∙
08/21/2020