Switch to: References

Add citations

You must login to add citations.
  1. 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