Volume 53, Number 1, February 1994
Claudio Cerrato:
Decidability by Filtrations for graded normal logics (graded modalities V).
61-74
Tomasz Polacik:
Second order propositional operators over Cantor space.
93-106
Ryo Kashima:
Cut-free sequent calculi for some tense logics.
119-136
Helena Rasiowa:
Axiomatization and completeness of uncountably valued approximation logic.
137-160
Volume 53, Number 2, May 1994
Vladimir V. Rybakov:
Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property.
203-226
Frank Wolter:
What is the upper part of the lattice of bimodal logics?
235-242
Ming Xu:
Decidability of Stit theory with a single agent and Refref Equivalence.
259-298
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
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
Rajeev Goré:
Cut-free sequent and tableau systems for propositional Diodorean modal logics.
433-458
Volume 53, Number 4, November 1994
David Isles:
A finite analog to the Löwenheim-Skolem theorem.
503-532
Max P. Urchs:
On the logic of event-causation. Jaskowski-style systems causal logic.
551-578
data released under the ODC-BY 1.0 license
