|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An Interpretation of Default Logic in Minimal Temporal Epistemic Logic |
Joeri Engelfriet |
1998 |
7 | 3 |
p. 369-388 20 p. |
artikel |
|
| 2 | Editorial |
Heinrich Wansing |
1998 |
7 | 3 |
p. III-VII 5 p. |
artikel |
|
| 3 | Extensions of First-Order Logic, Maria Manzano |
Hans Jürgen Ohlbach |
1998 |
7 | 3 |
p. 389-391 3 p. |
artikel |
|
| 4 | Labelled Modal Logics: Quantifiers |
David Basin |
1998 |
7 | 3 |
p. 237-263 27 p. |
artikel |
|
| 5 | Modal Pure Type Systems |
Tijn Borghuis |
1998 |
7 | 3 |
p. 265-296 32 p. |
artikel |
|
| 6 | Speaking about Transitive Frames in Propositional Languages |
Yasuhito Suzuki |
1998 |
7 | 3 |
p. 317-339 23 p. |
artikel |
|
| 7 | Temporalizing Epistemic Default Logic |
Wiebe van der Hoek |
1998 |
7 | 3 |
p. 341-367 27 p. |
artikel |
|
| 8 | Undivided and Indistinguishable Histories in Branching-Time Logics |
Alberto Zanardo |
1998 |
7 | 3 |
p. 297-315 19 p. |
artikel |
|
| 9 | Upcoming Themes |
1998 |
7 | 3 |
p. 393-393 1 p. |
artikel |
9 gevonden resultaten