Switch to: References

Add citations

You must login to add citations.
  1. Extended MR with Nesting of Predicate Expressions as a Basic Logic for Social Phenomena.Aleksander Parol, Krzysztof Pietrowicz & Joanna Szalacha-Jarmużek - 2021 - Bulletin of the Section of Logic 50 (2):205-227.
    In this article, we present the positional logic that is suitable for the formalization of reasoning about social phenomena. It is the effect of extending the Minimal Realisation (MR) logic with new expressions. These expressions allow, inter alia, to consider different points of view of social entities (humanistic coefficient). In the article, we perform a metalogical analysis of this logic. Finally, we present some simple examples of its application.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • 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