6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
3 - KNOWLEDGE AND IGNORANCE
-
- Book:
- Epistemic Logic for AI and Computer Science
- Published online:
- 11 November 2009
- Print publication:
- 24 November 1995, pp 113-158
-
- Chapter
- Export citation
4 - DEFAULT REASONING BY EPISTEMIC LOGIC
-
- Book:
- Epistemic Logic for AI and Computer Science
- Published online:
- 11 November 2009
- Print publication:
- 24 November 1995, pp 159-210
-
- Chapter
- Export citation
15 - Strength of bounded arithmetic
-
- Book:
- Bounded Arithmetic, Propositional Logic and Complexity Theory
- Published online:
- 02 December 2009
- Print publication:
- 24 November 1995, pp 308-326
-
- Chapter
- Export citation
10 - Finite axiomatizability problem
-
- Book:
- Bounded Arithmetic, Propositional Logic and Complexity Theory
- Published online:
- 02 December 2009
- Print publication:
- 24 November 1995, pp 185-209
-
- Chapter
- Export citation
PREFACE
-
- Book:
- Epistemic Logic for AI and Computer Science
- Published online:
- 11 November 2009
- Print publication:
- 24 November 1995, pp xi-xiv
-
- Chapter
- Export citation
14 - Hard tautologies and optimal proof systems
-
- Book:
- Bounded Arithmetic, Propositional Logic and Complexity Theory
- Published online:
- 02 December 2009
- Print publication:
- 24 November 1995, pp 299-307
-
- Chapter
- Export citation
6 - Definability of computations
-
- Book:
- Bounded Arithmetic, Propositional Logic and Complexity Theory
- Published online:
- 02 December 2009
- Print publication:
- 24 November 1995, pp 93-101
-
- Chapter
- Export citation
Contents
-
- Book:
- Epistemic Logic for AI and Computer Science
- Published online:
- 11 November 2009
- Print publication:
- 24 November 1995, pp vii-x
-
- Chapter
- Export citation
2 - VARIOUS NOTIONS OF KNOWLEDGE AND BELIEF
-
- Book:
- Epistemic Logic for AI and Computer Science
- Published online:
- 11 November 2009
- Print publication:
- 24 November 1995, pp 45-112
-
- Chapter
- Export citation
4 - Basic propositional logic
-
- Book:
- Bounded Arithmetic, Propositional Logic and Complexity Theory
- Published online:
- 02 December 2009
- Print publication:
- 24 November 1995, pp 23-61
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Epistemic Logic for AI and Computer Science
- Published online:
- 11 November 2009
- Print publication:
- 24 November 1995, pp i-vi
-
- Chapter
- Export citation
8 - Definability and witnessing in second order theories
-
- Book:
- Bounded Arithmetic, Propositional Logic and Complexity Theory
- Published online:
- 02 December 2009
- Print publication:
- 24 November 1995, pp 132-138
-
- Chapter
- Export citation
Name index
-
- Book:
- Bounded Arithmetic, Propositional Logic and Complexity Theory
- Published online:
- 02 December 2009
- Print publication:
- 24 November 1995, pp 339-340
-
- Chapter
- Export citation
2 - Preliminaries
-
- Book:
- Bounded Arithmetic, Propositional Logic and Complexity Theory
- Published online:
- 02 December 2009
- Print publication:
- 24 November 1995, pp 3-7
-
- Chapter
- Export citation
R - REFERENCES
-
- Book:
- Epistemic Logic for AI and Computer Science
- Published online:
- 11 November 2009
- Print publication:
- 24 November 1995, pp 331-346
-
- Chapter
- Export citation
A - APPENDIXES
-
- Book:
- Epistemic Logic for AI and Computer Science
- Published online:
- 11 November 2009
- Print publication:
- 24 November 1995, pp 211-232
-
- Chapter
- Export citation
Symbol index
-
- Book:
- Bounded Arithmetic, Propositional Logic and Complexity Theory
- Published online:
- 02 December 2009
- Print publication:
- 24 November 1995, pp 341-344
-
- Chapter
- Export citation
I - INDEX
-
- Book:
- Epistemic Logic for AI and Computer Science
- Published online:
- 11 November 2009
- Print publication:
- 24 November 1995, pp 347-354
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805216/02808/cover/9780521602808.jpg)
Epistemic Logic for AI and Computer Science
-
- Published online:
- 11 November 2009
- Print publication:
- 24 November 1995
Contents
-
- Book:
- Bounded Arithmetic, Propositional Logic and Complexity Theory
- Published online:
- 02 December 2009
- Print publication:
- 24 November 1995, pp ix-xii
-
- Chapter
- Export citation