research
∙
10/10/2022
Taming "McKinsey-like" formula: An Extended Correspondence and Completeness Theory for Hybrid Logic H(@)
In the present article, we extend the fragment of inductive formulas for...
research
∙
10/05/2022
Correspondence Theory for Modal Fairtlough-Mendler Semantics of Intuitionistic Modal Logic
We study the correspondence theory of intuitionistic modal logic in moda...
research
∙
07/04/2022
Sahlqvist-Type Completeness Theory for Hybrid Logic with Binder
In the present paper, we continue the research in <cit.> to develop the ...
research
∙
10/16/2021
Sahlqvist Correspondence Theory for Second-Order Propositional Modal Logic
Modal logic with propositional quantifiers (i.e. second-order propositio...
research
∙
02/26/2021
Algorithmic Correspondence for Hybrid Logic with Binder
In the present paper, we develop the algorithmic correspondence theory f...
research
∙
03/28/2020
Sahlqvist Correspondence Theory for Instantial Neighbourhood Logic
In the present paper, we investigate the Sahlqvist-type correspondence t...
research
∙
03/18/2020