4059 results in Logic
CHAPTER 5 - Partial conservativity
-
- Book:
- Aspects of Incompleteness
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 62-74
-
- Chapter
- Export citation
Index
-
- Book:
- Aspects of Incompleteness
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 130-131
-
- Chapter
- Export citation
Special sessions
-
- Book:
- Logic Colloquium '95
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp xi-xiv
-
- Chapter
- Export citation
4 - The hull and definability properties
-
- Book:
- The Core Model Iterability Problem
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 29-34
-
- Chapter
- Export citation
General Index
-
- Book:
- A General Algebraic Semantics for Sentential Logics
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 147-152
-
- Chapter
- Export citation
5 - The construction of true K
-
- Book:
- The Core Model Iterability Problem
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 35-42
-
- Chapter
- Export citation
References
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 716-736
-
- Chapter
- Export citation
2 - Preliminaries and Background I
- from PART I - MODELS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 17-34
-
- Chapter
- Export citation
12 - Frameworks for Decision Procedures
- from PART IV - METHODS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 467-475
-
- Chapter
- Export citation
5 - Basic Modal Logics
- from PART II - LOGICS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 100-149
-
- Chapter
- Export citation
8 - The Modal Mu-Calculus
- from PART II - LOGICS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 271-328
-
- Chapter
- Export citation
9 - Alternating-Time Temporal Logics
- from PART II - LOGICS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 329-358
-
- Chapter
- Export citation
PART II - LOGICS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 83-84
-
- Chapter
- Export citation
PART I - MODELS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 15-16
-
- Chapter
- Export citation
14 - The Automata-Based Approach
- from PART IV - METHODS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 543-624
-
- Chapter
- Export citation
11 - Computational Complexity
- from PART III - PROPERTIES
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 419-464
-
- Chapter
- Export citation
PART III - PROPERTIES
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 359-360
-
- Chapter
- Export citation
6 - Linear-Time Temporal Logics
- from PART II - LOGICS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 150-208
-
- Chapter
- Export citation
13 - Tableaux-Based Decision Methods
- from PART IV - METHODS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 476-542
-
- Chapter
- Export citation
7 - Branching-Time Temporal Logics
- from PART II - LOGICS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 209-270
-
- Chapter
- Export citation