no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
1 |
An Elementary Construction for a Non-elementary Procedure
|
Maarten Marx |
|
2002 |
72 |
2 |
p. 253-263 11 p. |
article |
2 |
A Note on Algebras of Substitutions
|
Gábor Sági |
|
2002 |
72 |
2 |
p. 265-284 20 p. |
article |
3 |
A Tableau Decision Algorithm for Modalized ALC with Constant Domains
|
Carsten Lutz |
|
2002 |
72 |
2 |
p. 199-232 34 p. |
article |
4 |
Computing with Cylindric Modal Logics and Arrow Logics, Lower Bounds
|
Maarten Marx |
|
2002 |
72 |
2 |
p. 233-252 20 p. |
article |
5 |
Equality and Monodic First-Order Temporal Logic
|
Anatoli Degtyarev |
|
2002 |
72 |
2 |
p. 147-156 10 p. |
article |
6 |
Martin's Axiom, Omitting Types, and Complete Representations in Algebraic Logic
|
Tarek Sayed Ahmed |
|
2002 |
72 |
2 |
p. 285-309 25 p. |
article |
7 |
Monodic Packed Fragment with Equality is Decidable
|
Ian Hodkinson |
|
2002 |
72 |
2 |
p. 185-197 13 p. |
article |
8 |
Preface
|
A. Kurucz |
|
2002 |
72 |
2 |
p. 145-146 2 p. |
article |
9 |
Products of Modal Logics. Part 3: Products of Modal and Temporal Logics
|
Dov Gabbay |
|
2002 |
72 |
2 |
p. 157-183 27 p. |
article |