nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A Logic with Relative Knowledge Operators
|
Stéphane Demri |
|
1999 |
8 |
2 |
p. 167-185 19 p. |
artikel |
2 |
An Extended Branching-Time Ockhamist Temporal Logic
|
Mark Brown |
|
1999 |
8 |
2 |
p. 143-166 24 p. |
artikel |
3 |
Basic Model Theory, Kees Doets
|
Patrick Blackburn |
|
1999 |
8 |
2 |
p. 258-261 4 p. |
artikel |
4 |
Dynamic Negation, the One and Only
|
Marco Hollenberg |
|
1999 |
8 |
2 |
p. 137-141 5 p. |
artikel |
5 |
Editorial
|
|
|
1999 |
8 |
2 |
p. 3-6 4 p. |
artikel |
6 |
Modal Logic, Alexander Chagrov and Michael Zakharyaschev
|
Valentin Goranko |
|
1999 |
8 |
2 |
p. 255-258 4 p. |
artikel |
7 |
Note from the Editor
|
|
|
1999 |
8 |
2 |
p. 3-3 1 p. |
artikel |
8 |
Partiality, Modality, and Nonmonotonicity, Patrick Doherty, ed.
|
Rogier van Eijk |
|
1999 |
8 |
2 |
p. 251-254 4 p. |
artikel |
9 |
Quantification in Natural Languages (Volumes I & II),E. Bach, E. Jelinek, A. Kratzer, and B.H. Partee, eds.
|
Jaap van der Does |
|
1999 |
8 |
2 |
p. 243-251 9 p. |
artikel |
10 |
Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics
|
Riccardo Rosati |
|
1999 |
8 |
2 |
p. 187-203 17 p. |
artikel |
11 |
Splitting Finite Default Theories: A Comparison of Two Approaches
|
Grigoris Antoniou |
|
1999 |
8 |
2 |
p. 205-216 12 p. |
artikel |
12 |
Uniqueness of Normal Proofs in Implicational Intuitionistic Logic
|
Takahito Aoto |
|
1999 |
8 |
2 |
p. 217-242 26 p. |
artikel |
13 |
Upcoming Themes
|
|
|
1999 |
8 |
2 |
p. 263-263 1 p. |
artikel |