5570 results in Programming Languages and Applied Logic
13 - Semantics for Quantified Modal Logics
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 05 June 2014
- Print publication:
- 25 November 2013, pp 263-300
-
- Chapter
- Export citation
3 - Basic Concepts of Intensional Semantics
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 05 June 2014
- Print publication:
- 25 November 2013, pp 57-71
-
- Chapter
- Export citation
4 - Trees for K
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 05 June 2014
- Print publication:
- 25 November 2013, pp 72-92
-
- Chapter
- Export citation
Modal Logic for Philosophers
-
- Published online:
- 05 June 2014
- Print publication:
- 25 November 2013
18 - Descriptions
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 05 June 2014
- Print publication:
- 25 November 2013, pp 383-406
-
- Chapter
- Export citation
12 - Systems for Quantified Modal Logic
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 05 June 2014
- Print publication:
- 25 November 2013, pp 226-262
-
- Chapter
- Export citation
Introduction: What Is Modal Logic?
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 05 June 2014
- Print publication:
- 25 November 2013, pp 1-2
-
- Chapter
- Export citation
19 - Lambda Abstraction
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 05 June 2014
- Print publication:
- 25 November 2013, pp 407-429
-
- Chapter
- Export citation
Local computability and uncountable structures
-
-
- Book:
- Effective Mathematics of the Uncountable
- Published online:
- 05 December 2013
- Print publication:
- 31 October 2013, pp 81-123
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Effective Mathematics of the Uncountable
- Published online:
- 05 December 2013
- Print publication:
- 31 October 2013, pp i-iv
-
- Chapter
- Export citation
Effective model theory: approach via σ-definability
-
-
- Book:
- Effective Mathematics of the Uncountable
- Published online:
- 05 December 2013
- Print publication:
- 31 October 2013, pp 164-197
-
- Chapter
- Export citation
Contents
-
- Book:
- Effective Mathematics of the Uncountable
- Published online:
- 05 December 2013
- Print publication:
- 31 October 2013, pp v-vi
-
- Chapter
- Export citation
Reverse mathematics, countable and uncountable: a computational approach
-
-
- Book:
- Effective Mathematics of the Uncountable
- Published online:
- 05 December 2013
- Print publication:
- 31 October 2013, pp 150-163
-
- Chapter
- Export citation
Borel structures: a brief survey
-
-
- Book:
- Effective Mathematics of the Uncountable
- Published online:
- 05 December 2013
- Print publication:
- 31 October 2013, pp 124-134
-
- Chapter
- Export citation
Computable structure theory using admissible recursion theory on ω1 using admissibility
-
-
- Book:
- Effective Mathematics of the Uncountable
- Published online:
- 05 December 2013
- Print publication:
- 31 October 2013, pp 50-80
-
- Chapter
- Export citation
Introduction
-
- Book:
- Effective Mathematics of the Uncountable
- Published online:
- 05 December 2013
- Print publication:
- 31 October 2013, pp 1-13
-
- Chapter
- Export citation
Some results on ℝ-computable structures
-
-
- Book:
- Effective Mathematics of the Uncountable
- Published online:
- 05 December 2013
- Print publication:
- 31 October 2013, pp 14-32
-
- Chapter
- Export citation
Infinite time Turing machines and an application to the hierarchy of equivalence relations on the reals
-
-
- Book:
- Effective Mathematics of the Uncountable
- Published online:
- 05 December 2013
- Print publication:
- 31 October 2013, pp 33-49
-
- Chapter
- Export citation
E-recursive intuitions
-
-
- Book:
- Effective Mathematics of the Uncountable
- Published online:
- 05 December 2013
- Print publication:
- 31 October 2013, pp 135-149
-
- Chapter
- Export citation
Effective Mathematics of the Uncountable
-
- Published online:
- 05 December 2013
- Print publication:
- 31 October 2013