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.
- Vladimir V. Rybakov:
Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property.
- Misao Nagayama:
On a property of BCK-identities.
- Frank Wolter:
What is the upper part of the lattice of bimodal logics?
- Fernando Guzmán:
A Gentzen system for conditional logic.
- Ming Xu:
Decidability of Stit theory with a single agent and Refref Equivalence.
- Valentin Goranko:
Refutation systems in modal logic.
- George Weaver:
Syntactic features and synonymy relations: a unified treatment of some proofs of the compactness and interpolation theorems.
- Marek Tokarz:
Non-axiomatizability of Grice's implicature.
Volume 53, Number 3, August 1994
- Max A. Freund:
The relative consistency of system RRC* and some of its extensions.
- Katarzyna Palasinska:
Three-element nonfinitely axiomatizable matrices.
- Erik Aarts:
Proving theorems of the second order Lambek calculus in polynominal time.
- Sergio Galvan:
A note an the omega-incompleteness formalization.
- Yuichi Komori:
Syntactical investigations into BI logic and BB'I logic.
- Antonio di Nola, Ada Lettieri:
Perfect MV-algebras are categorically equivalent to Abelian l-grups.
- Rajeev Goré:
Cut-free sequent and tableau systems for propositional Diodorean modal logics.
Volume 53, Number 4, November 1994
Last update Fri May 24 20:49:03 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page