|
|
Journals in DBLP
Studia Logica
2002, volume: 72, number: 2
- Ágnes Kurucz, Michael Zakharyaschev, Frank Wolter
Preface. [Citation Graph (0, 0)][DBLP]
Studia Logica, 2002, v:72, n:2, pp:145-146 [Journal]
- Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa
Equality and Monodic First-Order Temporal Logic. [Citation Graph (0, 0)][DBLP]
Studia Logica, 2002, v:72, n:2, pp:147-156 [Journal]
- Dov M. Gabbay, Valentin B. Shehtman
Products of Modal Logics. Part 3: Products of Modal and Temporal Logics. [Citation Graph (0, 0)][DBLP]
Studia Logica, 2002, v:72, n:2, pp:157-183 [Journal]
- Ian M. Hodkinson
Monodic Packed Fragment with Equality is Decidable. [Citation Graph (0, 0)][DBLP]
Studia Logica, 2002, v:72, n:2, pp:185-197 [Journal]
- Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev
A Tableau Decision Algorithm for Modalized ALC with Constant Domains. [Citation Graph (0, 0)][DBLP]
Studia Logica, 2002, v:72, n:2, pp:199-232 [Journal]
- Maarten Marx
Computing with Cylindric Modal Logics and Arrow Logics, Lower Bounds. [Citation Graph (0, 0)][DBLP]
Studia Logica, 2002, v:72, n:2, pp:233-252 [Journal]
- Maarten Marx, Szabolcs Mikulás
An Elementary Construction for a Non-elementary Procedure. [Citation Graph (0, 0)][DBLP]
Studia Logica, 2002, v:72, n:2, pp:253-263 [Journal]
- Gábor Sági
A Note on Algebras of Substitutions. [Citation Graph (0, 0)][DBLP]
Studia Logica, 2002, v:72, n:2, pp:265-284 [Journal]
- Tarek Sayed Ahmed
Martin's Axiom, Omitting Types, and Complete Representations in Algebraic Logic. [Citation Graph (0, 0)][DBLP]
Studia Logica, 2002, v:72, n:2, pp:285-309 [Journal]
|
