Simplified Tableaux for STIT Imagination Logic

&
Journal of Philosophical Logic 48 (6):981-1001 (2019)
  Copy   BIBTEX

Abstract

We show how to correct the analytic tableaux system from the paper Olkhovikov and Wansing, 259–279, 2018).

Categories

Keywords

Reprint years

DOI

10.1007/s10992-019-09503-1

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,597

External links

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

Through your library

My notes

Similar books and articles

An Axiomatic System and a Tableau Calculus for STIT Imagination Logic.Grigory K. Olkhovikov & Heinrich Wansing - 2018 - Journal of Philosophical Logic 47 (2):259-279.
A basic system of paraconsistent Nelsonian logic of conditionals.Grigory K. Olkhovikov - 2024 - Journal of Logic, Language and Information 33 (4):299-337.
Heinrich Wansing, Displaying Modal Logic.R. Gore - 2000 - Journal of Logic Language and Information 9 (2):269-272.
The Complexity of Analytic Tableaux.Noriko H. Arai, Toniann Pitassi & Alasdair Urquhart - 2006 - Journal of Symbolic Logic 71 (3):777 - 790.
Displaying modal logic, Heinrich Wansing.Rajeev Goré - 2000 - Journal of Logic, Language and Information 9 (2):269-272.
Tableaux for multi-agent deliberative-stit logic.Heinrich Wansing - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 503-520.
Tableaux for multi-agent deliberative-stit logic.Heinrich Wansing - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 503-520.
Analytic cut trees.Carlo Cellucci - 2000 - Logic Journal of the IGPL 8 (6):733-750.
Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC.Richard Zach - 2018 - Australasian Journal of Logic 15 (3):609-628.
Proof theory of modal logic, edited by Heinrich Wansing, Applied logic series, vol. 2, Kluwer Academic Publishers, Dordrecht, Boston, and London, 1996, x + 317 pp. [REVIEW]Melvin Fitting - 1999 - Journal of Symbolic Logic 64 (4):1825-1828.

Analytics

Added to PP
2019-02-07

Downloads
25 (#884,952)

6 months
5 (#1,053,842)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Heinrich Wansing
Ruhr-Universität Bochum

Citations of this work

Add more citations

References found in this work

Add more references