4059 results in Logic
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
![](https://assets.cambridge.org/97811084/24912/cover/9781108424912.jpg)
Justification Logic
- Reasoning with Reasons
-
- Published online:
- 25 April 2019
- Print publication:
- 02 May 2019
![](https://assets.cambridge.org/97811087/16727/cover/9781108716727.jpg)
Proof and Falsity
- A Logical Investigation
-
- Published online:
- 25 April 2019
- Print publication:
- 09 May 2019
14 - Vector Spaces and Categoricity
- from Part III - Changing Models
-
- Book:
- An Invitation to Model Theory
- Published online:
- 04 April 2019
- Print publication:
- 18 April 2019, pp 77-82
-
- Chapter
- Export citation
17 - Quantifier Elimination for DLO
- from Part IV - Characterising Definable Sets
-
- Book:
- An Invitation to Model Theory
- Published online:
- 04 April 2019
- Print publication:
- 18 April 2019, pp 95-98
-
- Chapter
- Export citation
32 - Hilbert’s Nullstellensatz
- from Part VI - Algebraically Closed Fields
-
- Book:
- An Invitation to Model Theory
- Published online:
- 04 April 2019
- Print publication:
- 18 April 2019, pp 173-176
-
- Chapter
- Export citation
Part V - Types
-
- Book:
- An Invitation to Model Theory
- Published online:
- 04 April 2019
- Print publication:
- 18 April 2019, pp 127-128
-
- Chapter
- Export citation
13 - Elementary Extensions
- from Part III - Changing Models
-
- Book:
- An Invitation to Model Theory
- Published online:
- 04 April 2019
- Print publication:
- 18 April 2019, pp 70-76
-
- Chapter
- Export citation