15 results
DICHOTOMY RESULT FOR INDEPENDENCE-FRIENDLY PREFIXES OF GENERALIZED QUANTIFIERS
-
- Journal:
- The Journal of Symbolic Logic / Volume 79 / Issue 4 / December 2014
- Published online by Cambridge University Press:
- 12 December 2014, pp. 1224-1246
- Print publication:
- December 2014
-
- Article
- Export citation
4 - Independence-friendly logic
-
- Book:
- Independence-Friendly Logic
- Published online:
- 01 June 2011
- Print publication:
- 05 May 2011, pp 59-86
-
- Chapter
- Export citation
References
-
- Book:
- Independence-Friendly Logic
- Published online:
- 01 June 2011
- Print publication:
- 05 May 2011, pp 198-202
-
- Chapter
- Export citation
6 - Expressive power of IF logic
-
- Book:
- Independence-Friendly Logic
- Published online:
- 01 June 2011
- Print publication:
- 05 May 2011, pp 134-149
-
- Chapter
- Export citation
Index
-
- Book:
- Independence-Friendly Logic
- Published online:
- 01 June 2011
- Print publication:
- 05 May 2011, pp 203-208
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Independence-Friendly Logic
- Published online:
- 01 June 2011
- Print publication:
- 05 May 2011, pp i-iv
-
- Chapter
- Export citation
2 - Game theory
-
- Book:
- Independence-Friendly Logic
- Published online:
- 01 June 2011
- Print publication:
- 05 May 2011, pp 9-27
-
- Chapter
- Export citation
Independence-Friendly Logic
- A Game-Theoretic Approach
-
- Published online:
- 01 June 2011
- Print publication:
- 05 May 2011
3 - First-order logic
-
- Book:
- Independence-Friendly Logic
- Published online:
- 01 June 2011
- Print publication:
- 05 May 2011, pp 28-58
-
- Chapter
- Export citation
5 - Properties of IF logic
-
- Book:
- Independence-Friendly Logic
- Published online:
- 01 June 2011
- Print publication:
- 05 May 2011, pp 87-133
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Independence-Friendly Logic
- Published online:
- 01 June 2011
- Print publication:
- 05 May 2011, pp 1-8
-
- Chapter
- Export citation
Contents
-
- Book:
- Independence-Friendly Logic
- Published online:
- 01 June 2011
- Print publication:
- 05 May 2011, pp v-vi
-
- Chapter
- Export citation
7 - Probabilistic IF logic
-
- Book:
- Independence-Friendly Logic
- Published online:
- 01 June 2011
- Print publication:
- 05 May 2011, pp 150-184
-
- Chapter
- Export citation
8 - Further topics
-
- Book:
- Independence-Friendly Logic
- Published online:
- 01 June 2011
- Print publication:
- 05 May 2011, pp 185-197
-
- Chapter
- Export citation
DECIDABILITY OF INDEPENDENCE-FRIENDLY MODAL LOGIC
-
- Journal:
- The Review of Symbolic Logic / Volume 3 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 13 July 2010, pp. 415-441
- Print publication:
- September 2010
-
- Article
- Export citation