Volume 53, Number 1, February 1994
Volume 53, Number 2, May 1994
- Michael Freund, Daniel J. Lehmann:
Nonmonotonic reasoning: from finitary relations to infinitary inference operations.
161-202

- Vladimir V. Rybakov:
Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property.
203-226

- Misao Nagayama:
On a property of BCK-identities.
227-234

- Frank Wolter:
What is the upper part of the lattice of bimodal logics?
235-242

- Fernando Guzmán:
A Gentzen system for conditional logic.
243-258

- Ming Xu:
Decidability of Stit theory with a single agent and Refref Equivalence.
259-298

- Valentin Goranko:
Refutation systems in modal logic.
299-324

- George Weaver:
Syntactic features and synonymy relations: a unified treatment of some proofs of the compactness and interpolation theorems.
325-342

- Marek Tokarz:
Non-axiomatizability of Grice's implicature.
343-350

Volume 53, Number 3, August 1994
- Max A. Freund:
The relative consistency of system RRC* and some of its extensions.
351-360

- Katarzyna Palasinska:
Three-element nonfinitely axiomatizable matrices.
361-372

- Erik Aarts:
Proving theorems of the second order Lambek calculus in polynominal time.
373-388

- Sergio Galvan:
A note an the omega-incompleteness formalization.
389-396

- Yuichi Komori:
Syntactical investigations into BI logic and BB'I logic.
397-416

- Antonio di Nola, Ada Lettieri:
Perfect MV-algebras are categorically equivalent to Abelian l-grups.
417-432

- Rajeev Goré:
Cut-free sequent and tableau systems for propositional Diodorean modal logics.
433-458

Volume 53, Number 4, November 1994
Last update Sat May 18 20:53:52 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page