Description

• Tytuł:
  Some Additional Axioms for T-normal Logics. Defining K45, KB4, KD45 and S5 without Using Modal Rules
• Twórca:
  Pietruszczak, Andrzej
• Współtwórca:
  Nicolaus Copernicus University in Toruń, Department of Logic, Poland;
  Andrzej.Pietruszczak@umk.pl
• Opis:
  The paper studies extensions of t-normal logics S0.5o and S0.5 obtained by means of some axioms of normal logics. We will prove determination theorems for these extensions by appropriate Kripke-style models. It will allow us to obtain the determinations of the logics K45, KB4 (= KB5), KD45 and S5 without using modal rules.
• Dostępność obiektu:
  free access
• Prawa: https://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2025.02.05;
  2024.06.24
• Typ:
  Article
• Język:
  English
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;4;
  53
• Temat i słowa kluczowe:
  modal logic;
  t-normal logics;
  Kripke-style semantics
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/54526 ;
  2449-836X;
  10.18778/0138-0680.2024.12
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  check license
• Rodzaj zawartości:
  image