4059 results in Logic
5 - Dynamics of inference and awareness
-
- Book:
- Logical Dynamics of Information and Interaction
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 100-113
-
- Chapter
- Export citation
15 - Rational dynamics in game theory
-
- Book:
- Logical Dynamics of Information and Interaction
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 313-329
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97811074/17236/cover/9781107417236.jpg)
Proof Analysis
- A Contribution to Hilbert's Last Problem
-
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011
11 - Modal logic
-
- Book:
- Proof Analysis
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 185-221
-
- Chapter
- Export citation
1 - Logical dynamics, agency, and intelligent interaction
-
- Book:
- Logical Dynamics of Information and Interaction
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 1-20
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Logical Dynamics of Information and Interaction
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp i-v
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Proof Analysis
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp i-iv
-
- Chapter
- Export citation
PART III - PROOF SYSTEMS FOR GEOMETRIC THEORIES
-
- Book:
- Proof Analysis
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 131-132
-
- Chapter
- Export citation
8 - An encounter with probability
-
- Book:
- Logical Dynamics of Information and Interaction
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 156-173
-
- Chapter
- Export citation
10 - Decisions, actions, and games
-
- Book:
- Logical Dynamics of Information and Interaction
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 195-227
-
- Chapter
- Export citation
6 - Rules of proof: sequent calculus
-
- Book:
- Proof Analysis
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 85-112
-
- Chapter
- Export citation
7 - Linear order
-
- Book:
- Proof Analysis
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 113-130
-
- Chapter
- Export citation
3 - Dynamic logic of public observation
-
- Book:
- Logical Dynamics of Information and Interaction
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 45-75
-
- Chapter
- Export citation
12 - Epistemic group structure and collective agency
-
- Book:
- Logical Dynamics of Information and Interaction
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 253-267
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Proof Analysis
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 254-261
-
- Chapter
- Export citation
Index of names
-
- Book:
- Proof Analysis
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 262-263
-
- Chapter
- Export citation
Index of subjects
-
- Book:
- Proof Analysis
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 264-265
-
- Chapter
- Export citation
Preface
-
- Book:
- Proof Analysis
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp ix-xii
-
- Chapter
- Export citation
10 - Proof analysis in elementary geometry
-
- Book:
- Proof Analysis
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 157-182
-
- Chapter
- Export citation
Contents
-
- Book:
- Logical Dynamics of Information and Interaction
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp vii-viii
-
- Chapter
- Export citation