research
∙
09/12/2023
A Natural Intuitionistic Modal Logic: Axiomatization and Bi-nested Calculus
We introduce FIK, a natural intuitionistic modal logic specified by Krip...
share
research
∙
04/16/2020
About the unification types of the modal logics determined by classes of deterministic frames
The unification problem in a propositional logic is to determine, given ...
research
∙
02/11/2019
