Počet záznamů: 1  

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

  1. 1.
    0570702 - ÚI 2024 US eng V - Výzkumná zpráva
    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.
    Grant CEP: GA ČR(CZ) GA22-01137S
    Institucionální podpora: 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.
    Trvalý link: https://hdl.handle.net/11104/0342026

     
     
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.