Opis

• Tytuł:
  Tableau Systems for Epistemic Positional Logics
• Twórca:
  Klonowski, Mateusz;
  Krawczyk, Krzysztof Aleksander;
  Pięta, Bożena
• Współtwórca:
  Klonowski, Mateusz - Nicolaus Copernicus University, Department of Logic, ul. Stanisława Moniuszki 16/20, 87-100 Torun, Poland;
  Krawczyk, Krzysztof Aleksander - Nicolaus Copernicus University, Department of Logic, ul. Stanisława Moniuszki 16/20, 87-100 Torun, Poland;
  Pięta, Bożena - Nicolaus Copernicus University, Department of Logic, ul. Stanisława Moniuszki 16/20, 87-100 Torun, Poland;
  Klonowski, Mateusz - matklon@doktorant.umk.pl;
  Krawczyk, Krzysztof Aleksander - krawczyk@doktorant.umk.pl;
  Pięta, Bożena - b.pieta@doktorant.umk.pl
• Opis:
  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 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.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa: https://creativecommons.org/licenses/by-nd/4.0
• Data:
  2021.08.20;
  2021.06.30
• Typ:
  Other
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;2;
  50
• Temat i słowa kluczowe:
  epistemic logic;
  logical omniscience;
  positional logic;
  tableau system
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/38700 ;
  2449-836X;
  10.18778/0138-0680.2021.06
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  pozostałe