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
∙
07/11/2023
Simple Axioms for Local Properties
Correspondence theory allows us to create sound and complete axiomatizat...
research
∙
04/30/2021
Some constructive variants of S4 with the finite model property
The logics CS4 and IS4 are intuitionistic variants of the modal logic S4...
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
∙
12/30/2019
Intuitionistic Linear Temporal Logics
We consider intuitionistic variants of linear temporal logic with `next'...
research
∙
02/11/2019
About the unification type of simple symmetric modal logics
The unification problem in a normal modal logic is to determine, given a...
research
∙
01/29/2019
Representation theorems for extended contact algebras based on equivalence relations
The aim of this paper is to give new representation theorems for extende...
research
∙
08/15/2018
Frame-validity games and lower bounds on the complexity of modal axioms
We introduce frame-equivalence games tailored for reasoning about the si...
research
∙
03/14/2018
Bisimulations for intuitionistic temporal logics
We introduce bisimulations for the logic ITL^e with `next', `until' and ...
research
∙
02/06/2017