- 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
Tableaux and hypersequents for justification logics
Annals of Pure and Applied Logic 163 (7):831-853 (2012)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
Dual Tableaux: Foundations, Methodology, Case Studies.Ewa Orlowska & Joanna Golinska-Pilarek - 2011 - Springer.
Logics of similarity and their dual tableaux. A survey.Joanna Golińska-Pilarek & Ewa Orlowska - 2008 - In Giacomo Della Riccia, Didier Dubois & Hans-Joachim Lenz (eds.), Preferences and Similarities. Springer. pp. 129--159.
Free-variable tableaux for propositional modal logics.Bernhard Beckert & Rajeev GorÉ - 2001 - Studia Logica 69 (1):59-96.
Relational dual tableaux for interval temporal logics.David Bresolin, Joanna Golinska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):251–277.
The method of hypersequents in the proof theory of propositional non-classical logics.Arnon Avron - 1996 - In Wilfrid Hodges (ed.), Logic: Foundations to Applications. Oxford: pp. 1-32.
Systematization of finite many-valued logics through the method of tableaux.Walter A. Carnielli - 1987 - Journal of Symbolic Logic 52 (2):473-493.
The Complexity of Analytic Tableaux.Noriko H. Arai, Toniann Pitassi & Alasdair Urquhart - 2006 - Journal of Symbolic Logic 71 (3):777 - 790.
Substructural Fuzzy Logics.George Metcalfe & Franco Montagna - 2007 - Journal of Symbolic Logic 72 (3):834 - 864.
Analytics
Added to PP
2013-10-27
Downloads
31 (#517,734)
6 months
12 (#217,158)
2013-10-27
Downloads
31 (#517,734)
6 months
12 (#217,158)
Historical graph of downloads
Author's Profile
Citations of this work
Prefixed tableaus and nested sequents.Melvin Fitting - 2012 - Annals of Pure and Applied Logic 163 (3):291 - 313.
Labeled sequent calculus for justification logics.Meghdad Ghari - 2017 - Annals of Pure and Applied Logic 168 (1):72-111.
Tableaux and hypersequents for justification logics.Hidenori Kurokawa - 2012 - Annals of Pure and Applied Logic 163 (7):831-853.
Tableaux and Interpolation for Propositional Justification Logics.Meghdad Ghari - 2024 - Notre Dame Journal of Formal Logic 65 (1):81-112.
References found in this work
Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
The method of hypersequents in the proof theory of propositional non-classical logics.Arnon Avron - 1996 - In Wilfrid Hodges (ed.), Logic: Foundations to Applications. Oxford: pp. 1-32.
Indexed systems of sequents and cut-elimination.Grigori Mints - 1997 - Journal of Philosophical Logic 26 (6):671-696.
Tableaux and hypersequents for justification logics.Hidenori Kurokawa - 2012 - Annals of Pure and Applied Logic 163 (7):831-853.
Logic of proofs and provability.Tatiana Yavorskaya - 2001 - Annals of Pure and Applied Logic 113 (1-3):345-372.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
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
Server: philpapers-web-5ff6c685cb-pqwqt uwo