39 results
7 - Realization – Generalized
-
- Book:
- Justification Logic
- Published online:
- 25 April 2019
- Print publication:
- 02 May 2019, pp 110-140
-
- Chapter
- Export citation
Index
-
- Book:
- Justification Logic
- Published online:
- 25 April 2019
- Print publication:
- 02 May 2019, pp 244-248
-
- Chapter
- Export citation
Dedication
-
- Book:
- Justification Logic
- Published online:
- 25 April 2019
- Print publication:
- 02 May 2019, pp v-vi
-
- Chapter
- Export citation
8 - The Range of Realization
-
- Book:
- Justification Logic
- Published online:
- 25 April 2019
- Print publication:
- 02 May 2019, pp 141-157
-
- Chapter
- Export citation
5 - Sequents and Tableaus
-
- Book:
- Justification Logic
- Published online:
- 25 April 2019
- Print publication:
- 02 May 2019, pp 75-99
-
- Chapter
- Export citation
Contents
-
- Book:
- Justification Logic
- Published online:
- 25 April 2019
- Print publication:
- 02 May 2019, pp vii-ix
-
- Chapter
- Export citation
Introduction
-
- Book:
- Justification Logic
- Published online:
- 25 April 2019
- Print publication:
- 02 May 2019, pp x-xxii
-
- Chapter
- Export citation
4 - Fitting Models
-
- Book:
- Justification Logic
- Published online:
- 25 April 2019
- Print publication:
- 02 May 2019, pp 48-74
-
- Chapter
- Export citation
6 - Realization – How It Began
-
- Book:
- Justification Logic
- Published online:
- 25 April 2019
- Print publication:
- 02 May 2019, pp 100-109
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Justification Logic
- Published online:
- 25 April 2019
- Print publication:
- 02 May 2019, pp i-iv
-
- Chapter
- Export citation
1 - Why Justification Logic?
-
- Book:
- Justification Logic
- Published online:
- 25 April 2019
- Print publication:
- 02 May 2019, pp 1-10
-
- Chapter
- Export citation
9 - Arithmetical Completeness and BHK Semantics
-
- Book:
- Justification Logic
- Published online:
- 25 April 2019
- Print publication:
- 02 May 2019, pp 158-180
-
- Chapter
- Export citation
3 - The Ontology of Justifications
-
- Book:
- Justification Logic
- Published online:
- 25 April 2019
- Print publication:
- 02 May 2019, pp 31-47
-
- Chapter
- Export citation
References
-
- Book:
- Justification Logic
- Published online:
- 25 April 2019
- Print publication:
- 02 May 2019, pp 234-243
-
- Chapter
- Export citation
2 - The Basics of Justification Logic
-
- Book:
- Justification Logic
- Published online:
- 25 April 2019
- Print publication:
- 02 May 2019, pp 11-30
-
- Chapter
- Export citation
10 - Quantifiers in Justification Logic
-
- Book:
- Justification Logic
- Published online:
- 25 April 2019
- Print publication:
- 02 May 2019, pp 181-221
-
- Chapter
- Export citation
11 - Going Past Modal Logic
-
- Book:
- Justification Logic
- Published online:
- 25 April 2019
- Print publication:
- 02 May 2019, pp 222-233
-
- Chapter
- Export citation
Justification Logic
- Reasoning with Reasons
-
- Published online:
- 25 April 2019
- Print publication:
- 02 May 2019
Interpolation for first order S5
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 2 / June 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 621-634
- Print publication:
- June 2002
-
- Article
- Export citation
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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 4 / December 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1825-1828
- Print publication:
- December 1999
-
- Article
- Export citation