Description

• Tytuł:
  Some Logics in the Vicinity of Interpretability Logics
• Twórca:
  Celani, Sergio A.
• Współtwórca:
  Universidad Nacional del Centro and CONICET, Departamento de Matem´atica, Tandil, Argentina;
  scelani@exa.unicen.edu.ar
• Opis:
  In this paper we shall define semantically some families of propositional modal logics related to the interpretability logic \(\mathbf{IL}\). We will introduce the logics \(\mathbf{BIL}\) and \(\mathbf{BIL}^{+}\) in the propositional language with a modal operator \(\square\) and a binary operator \(\Rightarrow\) such that \(\mathbf{BIL}\subseteq\mathbf{BIL}^{+}\subseteq\mathbf{IL}\). The logic \(\mathbf{BIL}\) is generated by the relational structures \(\left<X,R,N\right>\), called basic frames, where \(\left<X,R\right>\) is a Kripke frame and \(\left<X,N\right>\) is a neighborhood frame. We will prove that the logic \(\mathbf{BIL}^{+}\) is generated by the basic frames where the binary relation \(R\) is definable by the neighborhood relation \(N\) and, therefore, the neighborhood semantics is suitable to study the logic \(\mathbf{BIL}^{+}\) and its extensions. We shall also study some axiomatic extensions of \(\mathsf{\mathbf{BIL}}\) and we will prove that these extensions are sound and complete with respect to a certain classes of basic frames. Finally, we prove that the logic BIL+ and some of its extensions are complete respect with the class of neighborhood frames.
• Dostępność obiektu:
  free access
• Prawa: https://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2024.06.24;
  2023.11.22
• Typ:
  Article
• Język:
  English
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;2;
  53
• Temat i słowa kluczowe:
  interpretability logic;
  Kripke frames;
  neighbourhood frames;
  Veltman semantics
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/52596 ;
  2449-836X;
  10.18778/0138-0680.2023.26
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  check license
• Rodzaj zawartości:
  image