TY - JOUR
AU - Klonowski, Mateusz
AU - Krawczyk, Krzysztof Aleksander
AU - Pięta, Bożena
PY - 2021/04/01
Y2 - 2023/01/28
TI - Tableau Systems for Epistemic Positional Logics
JF - Bulletin of the Section of Logic
JA - B Sect Log
VL - 50
IS - 2
SE - Research Article
DO - 10.18778/0138-0680.2021.06
UR - https://czasopisma.uni.lodz.pl/bulletin/article/view/6240
SP - 177-204
AB - <p>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 systems<br />for 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 logics in order to avoid the well known problem of logical omniscience. At the same time, we keep the positional counterparts of modal axioms (T), (4) and (5). For all of the considered logics we present sound and complete tableau systems.</p>
ER -