Tableau Systems for Epistemic Positional Logics

Bulletin of the Section of Logic 50 (2):177-204 (2021)
  Copy   BIBTEX

Abstract

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, and. For all of the considered logics we present sound and complete tableau systems.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,363

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Terminating Tableaux for Dynamic Epistemic Logics.Jens Ulrik Hansen - 2010 - Electronic Notes in Theoretical Computer Science 262:141-156.
Distribution Laws in Weak Positional Logics.Marcin Tkaczyk - 2018 - Roczniki Filozoficzne 66 (3):163-179.
Dyadic deontic logic and semantic tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (3-4):221-252.
Many-valued hybrid logic.Jens Ulrik Hansen, Thomas Bolander & Torben Braüner - 2008 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 111-132.
Many-valued hybrid logic.Jens Ulrik Hansen, Thomas Bolander & Torben Braüner - 2008 - In Carlos Areces & Robert Goldblatt (eds.), Advances in Modal Logic, Volume 7. CSLI Publications. pp. 111-132.
Some multi-conclusion modal paralogics.Casey McGinnis - 2007 - Logica Universalis 1 (2):335-353.
Decision procedures for some strong hybrid logics.Andrzej Indrzejczak & Michał Zawidzki - 2013 - Logic and Logical Philosophy 22 (4):389-409.
The Tableau Method for a Logical System Based on a Finite Poset.Abir Nour - 2002 - Journal of Applied Non-Classical Logics 12 (1):43-62.
Dynamic Tableaux for Dynamic Modal Logics.Jonas De Vuyst - 2013 - Dissertation, Vrije Universiteit Brussel

Analytics

Added to PP
2021-04-02

Downloads
7 (#1,045,094)

6 months
1 (#451,398)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Mateusz Klonowski
Nicolaus Copernicus University

Citations of this work

No citations found.

Add more citations

References found in this work

Distribution Laws in Weak Positional Logics.Marcin Tkaczyk - 2018 - Roczniki Filozoficzne 66 (3):163-179.
Negation in Weak Positional Calculi.Marcin Tkaczyk - 2013 - Logic and Logical Philosophy 22 (1):3-19.

View all 9 references / Add more references