Volume 72,
Number 1,
October 2002
- Manuel Ojeda-Aciego, Gerhard Brewka, Inman P. de Guzmán, Luís Moniz Pereira:
Preface.
3-5 BibTeX
- Antonio Moreno, Ulises Cortés, Ton Sales:
Subjective Situations and Logical Omniscience.
7-29 BibTeX
- Pedro J. Martín, Antonio Gavilanes:
Simultaneous Rigid Sorted Unification for Tableaux.
31-59 BibTeX
- Wiebe van der Hoek, Elias Thijsse:
A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples.
61-84 BibTeX
- Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde:
Satisfiability Testing for Boolean Formulas Using Delta-trees.
85-112 BibTeX
- Carlos Viegas Damásio, Luís Moniz Pereira:
Hybrid Probabilistic Logic Programs as Residuated Logic Programs.
113-138 BibTeX
Volume 72,
Number 2,
November 2002
- Ágnes Kurucz, Michael Zakharyaschev, Frank Wolter:
Preface.
145-146 BibTeX
- Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa:
Equality and Monodic First-Order Temporal Logic.
147-156 BibTeX
- Dov M. Gabbay, Valentin B. Shehtman:
Products of Modal Logics. Part 3: Products of Modal and Temporal Logics.
157-183 BibTeX
- Ian M. Hodkinson:
Monodic Packed Fragment with Equality is Decidable.
185-197 BibTeX
- Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev:
A Tableau Decision Algorithm for Modalized ALC with Constant Domains.
199-232 BibTeX
- Maarten Marx:
Computing with Cylindric Modal Logics and Arrow Logics, Lower Bounds.
233-252 BibTeX
- Maarten Marx, Szabolcs Mikulás:
An Elementary Construction for a Non-elementary Procedure.
253-263 BibTeX
- Gábor Sági:
A Note on Algebras of Substitutions.
265-284 BibTeX
- Tarek Sayed Ahmed:
Martin's Axiom, Omitting Types, and Complete Representations in Algebraic Logic.
285-309 BibTeX
Volume 72,
Number 3,
December 2002
Copyright © Wed Jun 4 19:20:15 2008
by Michael Ley (ley@uni-trier.de)
