External Links

    Journal: Studia Logica

    Volume 55, Issue 3

    347 -- 376Vladimir Kanovei, Michael Reeken. Internal approach to external sets and universes (Part II)
    377 -- 388Andrzej Sendlewski. Axiomatic extensions of the constructive logic with strong negation and the disjunction property
    389 -- 419Johan van Benthem, Dag Westerståhl. Directions in generalized quantifier theory
    421 -- 448Alexander V. Chagrov, L. A. Chagrova. Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames

    Volume 55, Issue 2

    229 -- 257Vladimir Kanovei, Michael Reeken. Internal approach to external sets and universes (Part I)
    259 -- 271Silvio Ghilardi, Marek W. Zawadowski. Undefinability of propositional quantifiers in the modal system S4
    273 -- 299Ramon Jansana. Abstract modal logics
    301 -- 317J. Michael Dunn. Positive modal logic
    319 -- 346Pere Garcia, Francesc Esteva. On Ockham algebras: congruence lattices and subdirectly irreducible algebras

    Volume 55, Issue 1

    3 -- 22Maria Luisa Dalla Chiara, Roberto Giuntini. The logics of orthoalgebras
    23 -- 32Newton C. A. da Costa, Francisco A. Doria. Undecidability, incompleteness and the Arnol d problems
    33 -- 61Albert G. Dragálin. Explicit algebraic models for constructive and classical theories with non-standard elements
    63 -- 87Melvin Fitting. Tableaus for many-valued modal logic
    89 -- 98Luisa Iturrioz. Symmetrical Heyting algebras with a finite order type of operators
    99 -- 112Larisa Maksimova. On variable separation in modal and superintuitionistic logics
    113 -- 127Daniele Mundici. Averaging the truth-value in Lukasiewicz logic
    129 -- 179Don Pigozzi, Antonino Salibra. The abstract variable-binding calculus
    181 -- 203Antonio Mario Sette, Walter Alexandre Carnielli. Maximal weakly-intuitionistic logics
    205 -- 228Dimiter Vakarelov. A duality between Pawlak s knowledge representation systems and BI-consequence systems
    runs on