no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
1 |
An Interpretation of Default Logic in Minimal Temporal Epistemic Logic
|
Joeri Engelfriet |
|
1998 |
7 |
3 |
p. 369-388 20 p. |
article |
2 |
Editorial
|
Heinrich Wansing |
|
1998 |
7 |
3 |
p. III-VII 5 p. |
article |
3 |
Extensions of First-Order Logic, Maria Manzano
|
Hans Jürgen Ohlbach |
|
1998 |
7 |
3 |
p. 389-391 3 p. |
article |
4 |
Labelled Modal Logics: Quantifiers
|
David Basin |
|
1998 |
7 |
3 |
p. 237-263 27 p. |
article |
5 |
Modal Pure Type Systems
|
Tijn Borghuis |
|
1998 |
7 |
3 |
p. 265-296 32 p. |
article |
6 |
Speaking about Transitive Frames in Propositional Languages
|
Yasuhito Suzuki |
|
1998 |
7 |
3 |
p. 317-339 23 p. |
article |
7 |
Temporalizing Epistemic Default Logic
|
Wiebe van der Hoek |
|
1998 |
7 |
3 |
p. 341-367 27 p. |
article |
8 |
Undivided and Indistinguishable Histories in Branching-Time Logics
|
Alberto Zanardo |
|
1998 |
7 |
3 |
p. 297-315 19 p. |
article |
9 |
Upcoming Themes
|
|
|
1998 |
7 |
3 |
p. 393-393 1 p. |
article |