|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
21 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A note on applicability of the incompleteness theorem to human mind |
Pudlák, Pavel |
1999 |
96 | 1-3 |
p. 335-342 8 p. |
article |
|
| 2 | A simple propositional S5 tableau system |
Fitting, Melvin |
1999 |
96 | 1-3 |
p. 107-115 9 p. |
article |
|
| 3 | Author index volume 96 (1999) |
1999 |
96 | 1-3 |
p. 369- 1 p. |
article |
||
| 4 | Behaviorism and belief |
Collins, Arthur W. |
1999 |
96 | 1-3 |
p. 75-88 14 p. |
article |
|
| 5 | Belief revision conditionals: basic iterated systems |
Arló-Costa, Horacio |
1999 |
96 | 1-3 |
p. 3-28 26 p. |
article |
|
| 6 | Bounded arithmetic, proof complexity and two papers of Parikh |
Buss, Samuel R. |
1999 |
96 | 1-3 |
p. 43-55 13 p. |
article |
|
| 7 | Chu spaces from the representational viewpoint |
Pratt, Vaughan |
1999 |
96 | 1-3 |
p. 319-333 15 p. |
article |
|
| 8 | Coalgebraic logic |
Moss, Lawrence S. |
1999 |
96 | 1-3 |
p. 277-317 41 p. |
article |
|
| 9 | Common knowledge revisited |
Fagin, Ronald |
1999 |
96 | 1-3 |
p. 89-105 17 p. |
article |
|
| 10 | Computation paths logic: An expressive, yet elementary, process logic |
Harel, David |
1999 |
96 | 1-3 |
p. 167-186 20 p. |
article |
|
| 11 | Dynamic linear time temporal logic |
Henriksen, Jesper G. |
1999 |
96 | 1-3 |
p. 187-207 21 p. |
article |
|
| 12 | Editorial Board |
1999 |
96 | 1-3 |
p. ii- 1 p. |
article |
||
| 13 | Logic programs, well-orderings and forward chaining |
Marek, V.W. |
1999 |
96 | 1-3 |
p. 231-276 46 p. |
article |
|
| 14 | Modality, bisimulation and interpolation in infinitary logic |
van Benthem, Johan |
1999 |
96 | 1-3 |
p. 29-41 13 p. |
article |
|
| 15 | Preface |
Fitting, Melvin |
1999 |
96 | 1-3 |
p. 1- 1 p. |
article |
|
| 16 | Ramified recurrence and computational complexity III: Higher type recurrence and elementary complexity |
Leivant, Daniel |
1999 |
96 | 1-3 |
p. 209-229 21 p. |
article |
|
| 17 | Self-reference and the acyclicity of rational choice |
Gaifman, Haim |
1999 |
96 | 1-3 |
p. 117-140 24 p. |
article |
|
| 18 | Ten questions and one problem on fuzzy logic |
Hájek, Petr |
1999 |
96 | 1-3 |
p. 157-165 9 p. |
article |
|
| 19 | To preference via entrenchment |
Georgatos, Konstantinos |
1999 |
96 | 1-3 |
p. 141-155 15 p. |
article |
|
| 20 | Turning cycles into spirals |
Carbone, A. |
1999 |
96 | 1-3 |
p. 57-73 17 p. |
article |
|
| 21 | View-based explicit knowledge |
Ramanujam, R. |
1999 |
96 | 1-3 |
p. 343-368 26 p. |
article |
21 results found