Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "Kripke frames" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-5 z 5
    Tytuł:
    On interpolation in NEXT(KB.Alt(2))
    Autorzy:
    Kostrzycka, Zofia
    Powiązania:
    https://bibliotekanauki.pl/articles/749976.pdf
    Data publikacji:
    2018
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    symmetric Kripke frames
    interpolation
    amalgamation
    Opis:
    We prove that there is infinitely many tabular modal logics extending KB.Alt(2) which have interpolation.
    Źródło:
    Bulletin of the Section of Logic; 2018, 47, 3
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Some Logics in the Vicinity of Interpretability Logics
    Autorzy:
    Celani, Sergio A.
    Powiązania:
    https://bibliotekanauki.pl/articles/43188883.pdf
    Data publikacji:
    2024
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    interpretability logic
    Kripke frames
    neighbourhood frames
    Veltman semantics
    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 \(\mathbf{BIL}^{+}\) and some of its extensions are complete respect with the class of neighborhood frames.
    Źródło:
    Bulletin of the Section of Logic; 2024, 53, 2; 173-193
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    From Intuitionism to Brouwers Modal Logic
    Autorzy:
    Kostrzycka, Zofia
    Powiązania:
    https://bibliotekanauki.pl/articles/1023286.pdf
    Data publikacji:
    2020-12-30
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    intuitionistic logic
    Kripke frames
    Brouwer's modal logic
    Opis:
    We try to translate the intuitionistic propositional logic INT into Brouwer's modal logic KTB. Our translation is motivated by intuitions behind Brouwer's axiom p →☐◊p The main idea is to interpret intuitionistic implication as modal strict implication, whereas variables and other positive sentences remain as they are. The proposed translation preserves fragments of the Rieger-Nishimura lattice which is the Lindenbaum algebra of monadic formulas in INT. Unfortunately, INT is not embedded by this mapping into KTB.
    Źródło:
    Bulletin of the Section of Logic; 2020, 49, 4; 343-358
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic
    Autorzy:
    Witczak, Tomasz
    Powiązania:
    https://bibliotekanauki.pl/articles/749992.pdf
    Data publikacji:
    2019
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    intuitionistic modal logic
    neighbourhood semantics
    topological semantics
    Kripke frames
    soundness and completeness
    Opis:
    We present three examples of topological semantics for intuitionistic modal logic with one modal operator □. We show that it is possible to treat neighborhood models, introduced earlier, as topological or multi-topological. From the neighborhood point of view, our method is based on differences between properties of minimal and maximal neighborhoods. Also we propose transformation of multitopological spaces into the neighborhood structures.
    Źródło:
    Bulletin of the Section of Logic; 2019, 48, 3; 187-205
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Interpolation in Normal Extensions of the Brouwer Logic
    Autorzy:
    Kostrzycka, Zofia
    Powiązania:
    https://bibliotekanauki.pl/articles/749908.pdf
    Data publikacji:
    2016
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    normal extensions of the Brouwer logics
    Kripke frames
    interpolation property
    amalgamation property
    Opis:
    The Craig interpolation property and interpolation property for deducibility are considered for special kind of normal extensions of the Brouwer logic.
    Źródło:
    Bulletin of the Section of Logic; 2016, 45, 3/4
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-5 z 5

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies