- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Simplified Tableaux for STIT Imagination Logic
Journal of Philosophical Logic 48 (6):981-1001 (2019)
Abstract
We show how to correct the analytic tableaux system from the paper Olkhovikov and Wansing, 259–279, 2018).Author's Profile
Other Versions
No versions found
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.
Inference as doxastic agency. Part II: Ramifications and refinements.Heinrich Wansing & Grigory K. Olkhovikov - 2017 - Australasian Journal of Logic 14 (4):408-438.
The Complexity of Analytic Tableaux.Noriko H. Arai, Toniann Pitassi & Alasdair Urquhart - 2006 - Journal of Symbolic Logic 71 (3):777 - 790.
Inference as Doxastic Agency. Part I: The Basics of Justification Stit Logic.Grigory K. Olkhovikov & Heinrich Wansing - 2019 - Studia Logica 107 (1):167-194.
Combinations of Stit with Ought and Know.Ming Xu - 2015 - Journal of Philosophical Logic 44 (6):851-877.
From BDI and stit to bdi-stit logic.Caroline Semmling & Heinrich Wansing - 2008 - Logic and Logical Philosophy 17 (1-2):185-207.
Remarks on the logic of imagination. A step towards understanding doxastic control through imagination.Heinrich Wansing - 2017 - Synthese 194 (8):2843-2861.
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.
Analytics
Added to PP
2019-02-07
Downloads
57 (#1,053,870)
6 months
15 (#797,866)
2019-02-07
Downloads
57 (#1,053,870)
6 months
15 (#797,866)
Historical graph of downloads
Author's Profile
Citations of this work
The Logical Development of Pretense Imagination.Aybüke Özgün & Tom Schoonen - 2024 - Erkenntnis 89 (6):2121-2147.
The Logical Development of Pretense Imagination.Aybüke Özgün & Tom Schoonen - 2022 - Erkenntnis 89 (6):2121–2147.
Stit -logic for imagination episodes with voluntary input.Christopher Badura & Heinrich Wansing - 2023 - Review of Symbolic Logic 16 (3):813-861.
Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT.S. Negri & E. Pavlović - 2021 - Studia Logica 109 (3):473-507.
Bringing De Re and De Dicto into STIT Logic.Takahiro Sawasaki - 2025 - Journal of Philosophical Logic 55 (1):25-50.
References found in this work
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.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation