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