Crisp bi-Gödel modal logic and its paraconsistent expansion

0570702 - ÚI 2024 US eng V - Research Report
Bílková, Marta - Frittella, S. - Kozhemiachenko, D.
Crisp bi-Gödel modal logic and its paraconsistent expansion.
Cornell University: Cornell University, 2023. 29 s. arXiv.org e-Print archive, 2211.01882.
R&D Projects: GA ČR(CZ) GA22-01137S
Institutional support: RVO:67985807
https://arxiv.org/abs/2211.01882

In this paper, we provide a Hilbert-style axiomatisation for the crisp bi-Gödel modal logic KbiG. We prove its completeness w.r.t. crisp Kripke models where formulas at each state are evaluated over the standard bi-Gödel algebra on [0, 1]. We also consider a paraconsistent expansion of KbiG with a De Morgan negation ¬ which we dub KG2. We devise a Hilbert-style calculus for this logic and, as a consequence of a conservative translation from KbiG to KG2, prove its completeness w.r.t. crisp Kripke models with two valuations over [0, 1] connected via ¬. For these two logics, we establish that their decidability and validity are PSPACE-complete. We also study the semantical properties of KbiG and KG2. In particular, we show that Glivenko theorem holds only in finitely branching frames. We also explore the classes of formulas that define the same classes of frames both in K (the classical modal logic) and the crisp Gödel modal logic GKc. We show that, among others, all Sahlqvist formulas and all formulas ∅ → χ where ∅ and χ are monotone, define the same classes of frames in K and GKc.
Permanent Link: https://hdl.handle.net/11104/0342026