9 found
Order:
Disambiguations
Krzysztof A. Krawczyk [4]Krzysztof Krawczyk [3]Krzysztof Aleksander Krawczyk [2]
  1.  22
    Three Model-Theoretic Constructions for Generalized Epstein Semantics.Krzysztof A. Krawczyk - 2022 - Review of Symbolic Logic 15 (4):1023-1032.
    This paper introduces three model-theoretic constructions for generalized Epstein semantics: reducts, ultramodels and $\textsf {S}$ -sets. We apply these notions to obtain metatheoretical results. We prove connective inexpressibility by means of a reduct, compactness by an ultramodel and definability theorem which states that a set of generalized Epstein models is definable iff it is closed under ultramodels and $\textsf {S}$ -sets. Furthermore, a corollary concerning definability of a set of models by a single formula is given on the basis of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  17
    Problem wszechwiedzy logicznej. Krytyka światów nienormalnych i propozycja nowego rozwiązania.Mateusz Klonowski & Krzysztof Krawczyk - 2018 - Filozofia Nauki 27 (1):27-48.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  40
    Deduction Theorem in Congruential Modal Logics.Krzysztof A. Krawczyk - 2023 - Notre Dame Journal of Formal Logic 64 (2):185-196.
    We present an algebraic proof of the theorem stating that there are continuum many axiomatic extensions of global consequence associated with modal system E that do not admit the local deduction detachment theorem. We also prove that all these logics lack the finite frame property and have exactly three proper axiomatic extensions, each of which admits the local deduction detachment theorem.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  32
    Ultravaluations and their Applications in $$\textsf{CPL}$$.Krzysztof A. Krawczyk & Bożena Piȩta - 2023 - Logica Universalis 17 (3):259-267.
    This paper introduces the construct of an ultravaluation inspired by the well-known ultraproduct. Basic properties and exemplary applications of this notion are shown: for compactness and definability theorems. We also use ultravaluations to check failure of compactness and undefinability.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  30
    Two Maximality Results for the Lattice of Extensions of $$\vdash _{\mathbf {RM}}$$.Krzysztof A. Krawczyk - 2022 - Studia Logica 110 (5):1243-1253.
    We use an algebraic argument to prove that there are exactly two premaximal extensions of \’s consequence. We also show that one of these extensions is the minimal structurally complete extension of the unique maximal paraconsistent extension of \. Precisely, we show that there are exactly two covers of the variety of Boolean algebras in the lattice of quasivarieties of Sugihara algebras and that there is a unique minimal paraconsistent quasivariety in that lattice. We also obtain a corollary stating that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  27
    Knowability as De Re Modality: A Certain Solution to Fitch Paradox.Tomasz Jarmużek, Krzysztof Krawczyk & Rafał Palczewski - 2020 - Roczniki Filozoficzne 68 (4):291-313.
    Poznawalność jako modalność de re: pewne rozwiązanie paradoksu Fitcha W artykule staramy się znaleźć nowe, intuicyjne rozwiązanie paradoksu Fitcha. Twierdzimy, że tradycyjne wyrażenie zasady poznawalności opiera się na błędnym rozumieniu poznawalności jako modalności de dicto. Zamiast tego proponujemy rozumieć poznawalność jako modalność de re. W artykule przedstawiamy minimalną logikę poznawalności, w której zasada poznawalności jest ważna, ale paradoks Fitcha już nie obowiązuje. Logikę charakteryzujemy semantycznie, a także poprzez podejście aksjomatyczne i tabelaryczne.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  20
    Tableau Systems for Epistemic Positional Logics.Mateusz Klonowski, Krzysztof Aleksander Krawczyk & Bożena Pięta - 2021 - Bulletin of the Section of Logic 50 (2):177-204.
    The goal of the article is twofold. The first one is to provide logics based on positional semantics which will be suitable for the analysis of epistemic modalities such as ‘agent... knows/beliefs that...’. The second one is to define tableau systemsfor such logics. Firstly, we present the minimal positional logic MR. Then, we change the notion of formulas and semantics in order to consider iterations of the operator of realization and “free” classical formulas. After that, we move on to weaker (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  27
    Fibring Epistemic and Temporal Logics.Krzysztof Aleksander Krawczyk - 2019 - Logic and Logical Philosophy 29 (1):195.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  48
    Tomasz Jarmużek, Marcin Tkaczyk, Normalne logiki pozycyjne, Wydawnictwo KUL, Lublin 2015, ss. 202.Krzysztof Krawczyk - 2017 - Ruch Filozoficzny 72 (3):173.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark