Volume 70, Number 1, February 2002
Volume 70, Number 2, March 2002
- Josep Maria Font, Petr Hájek:
On Lukasiewicz's Four-Valued Modal Logic.
- Sándor Jenei, Franco Montagna:
A Proof of Standard Completeness for Esteva and Godo's Logic MTL.
- Tomasz F. Skura:
Refutations, Proofs, and Models in the Modal Logic K4.
- Ian M. Hodkinson:
Loosely Guarded Fragment of First-Order Logic has the Finite Model Property.
- Ortrun Ibens:
Connection Tableau Calculi with Disjunctive Constraints.
- Zoran Petric:
Coherence in Substructural Categories.
- Rodney G. Downey:
Roman Murawski, Recursive Functions and Metamathematics.
- Greg O'Keefe:
Gregory J. Chaitin, The Unknowable, Springer-Verlag, Singapore 1999.
Volume 70, Number 3, April 2002
Last update Sat May 18 17:25:57 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page