Studia Logica

A Negationless Interpretation of Intuitionistic Theories. II
pp. 155-179(25)
Author: Krivtsov V.N.

Varieties of Three-Valued Heyting Algebras with a Quantifier
pp. 181-198(18)
Authors: Abad M.; Díaz Varela J.P.; Rueda L.A.; Suardíaz A.M.

Arrow Logic and Infinite Counting
pp. 199-222(24)
Authors: Kurucz Á.

Non-Commutative Topology and Quantales
pp. 223-236(14)
Authors: Coniglio M.E.; Miraglia F.

Kripke Incompleteness of Predicate Extensions of the Modal Logics Axiomatized by a Canonical Formula for a Frame with a Nontrivial Cluster
pp. 237-247(11)
Author: Shimura T.

First Order Common Knowledge Logics
pp. 249-271(23)
Author: Wolter F.

Book Reviews
pp. 273-298(26)