6 found
Order:
  1.  14
    Bayesian Propositional Logic.Tomasz Jarmużek, Mateusz Klonowski & Jacek Malinowski - 2018 - Bulletin of the Section of Logic 46 (3/4).
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  12
    Simplified Kripke-Style Semantics for Some Normal Modal Logics.Andrzej Pietruszczak, Mateusz Klonowski & Yaroslav Petrukhin - forthcoming - Studia Logica:1-26.
    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)  
     
    Export citation  
     
    Bookmark  
  3.  20
    Sequent Calculi for Beginners and Professionals.Mateusz Klonowski - forthcoming - Logic and Logical Philosophy.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  4
    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  
  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.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  12
    A Formal Theory of Action.Mateusz Klonowski - forthcoming - Logic and Logical Philosophy.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark