The Gärdenfors impossibility theorem in non-monotonic contexts David Makinson OriginalPaper Pages: 1 - 6
Decidable and enumerable predicate logics of provability Giorgie Dzhaparidze OriginalPaper Pages: 7 - 21
Some new double induction and superinduction principles Raymond M. Smullyan OriginalPaper Pages: 23 - 30
Variations on da Costa C Systems and dual-intuitionistic logics I. Analyses of C ω and CC ω Richard Sylvan OriginalPaper Pages: 47 - 65
Extending Montague's system: a three valued intensional logic E. H. AlvesJ. A. D. Guerzoni OriginalPaper Pages: 127 - 132
On a complexity-based way of constructivizing the recursive functions F. W. KroonW. A. Burkhard OriginalPaper Pages: 133 - 149