9 found
Order:
  1.  15
    Bayesian Propositional Logic.Tomasz Jarmużek, Mateusz Klonowski & Jacek Malinowski - 2017 - Bulletin of the Section of Logic 46 (3/4).
    We define and investigate from a logical point of view a family of consequence relations defined in probabilistic terms. We call them relations of supporting, and write: |≈w where w is a probability function on a Boolean language. A |≈w B iff the fact that A is the case does not decrease a probability of being B the case. Finally, we examine the intersection of |≈w, for all w, and give some formal properties of it.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  6
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  3.  12
    On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach.Tomasz Jarmużek & Mateusz Klonowski - forthcoming - Logic and Logical Philosophy:1.
    Standard deontic logic (SDL) is defined on the basis of possible world semantics and is a logic of alethic-deontic modalities rather than deontic modalities alone. The interpretation of the concepts of obligation and permission comes down exclusively to the logical value that a sentence adopts for the accessible deontic alternatives. Here, we set forth a different approach, this being a logic which additionally takes into consideration whether sentences stand in relation to the normative system or to the system of values (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  12
    A Formal Theory of Action.Mateusz Klonowski - forthcoming - Logic and Logical Philosophy.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  3
    A Post-Style Proof of Completeness Theorem for Symmetric Relatedness Logic S.Mateusz Klonowski - 2018 - Bulletin of the Section of Logic 47 (3):201.
    One of the logic defined by Richard Epstein in a context of an analysis of subject matter relationship is Symmetric Relatedness Logic S. In the monograph [2] we can find some open problems concerning relatedness logic, a Post-style completeness theorem for logic S is one of them. Our paper introduces a solution of this metalogical issue.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  25
    Sequent Calculi for Beginners and Professionals.Mateusz Klonowski - forthcoming - Logic and Logical Philosophy.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  6
    Tableau Systems for Epistemic Positional Logics.Mateusz Klonowski, Krzysztof Krawczyk & Bożena Pięta - forthcoming - Bulletin of the Section of Logic.
    The goal of the article is twofold. The first one is to provide logics basedon positional semantics which will be suitable for the analysis of epistemic modalitiessuch 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 changethe notion of formulas and semantics in order to consider iterations of the operatorof realization and “free” classical formulas. After that, we move on to weaker logicsin order to avoid (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  3
    Deontic Relationship in the Context of Jan Woleński’s Metaethical Naturalism.Rafał Palczewski, Mateusz Klonowski & Tomasz Jarmużek - 2020 - Studia Humana 9 (3-4):120-130.
    In this paper, we indicate how Jan Woleński’s non-linguistic concept of the norm allows us to clarify the deontic relationship between sentences and the given normative system. A relationship of this kind constitutes a component of the metalogic of relating deontic logic, which subjects the logical value of the deontic sentence to the logical value of the constituent sentence and its relationship with a given normative system in the accessible possible worlds.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  18
    Simplified Kripke-Style Semantics for Some Normal Modal Logics.Andrzej Pietruszczak, Mateusz Klonowski & Yaroslav Petrukhin - 2020 - Studia Logica 108 (3):451-476.
    Pietruszczak :163–171, 2009. https://doi.org/10.12775/LLP.2009.013) proved that the normal logics \, \ ), \ are determined by suitable classes of simplified Kripke frames of the form \, where \. In this paper, we extend this result. Firstly, we show that a modal logic is determined by a class composed of simplified frames if and only if it is a normal extension of \. Furthermore, a modal logic is a normal extension of \ ; \; \) if and only if it is (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark