Propositional Logics Related to Heyting's and Johansson's

This publication has 16 references indexed in Scilit:

• Decidability of S4.1
  Theoria, 1968
• Algebraic semantics for modal logics II
  The Journal of Symbolic Logic, 1966
• Algebraic semantics for modal logics I
  The Journal of Symbolic Logic, 1966
• An algebraic study of Diodorean modal systems
  The Journal of Symbolic Logic, 1965
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
  Mathematical Logic Quarterly, 1963
• The separation theorem of intuitionist propositional calculus
  The Journal of Symbolic Logic, 1962
• A propositional calculus with denumerable matrix
  The Journal of Symbolic Logic, 1959
• Modal Logics Between S 4 and S 5
  Mathematical Logic Quarterly, 1959
• Remarks on the Connection Between Intuitionistic Logic and a Certain Class of Lattices.
  MATHEMATICA SCANDINAVICA, 1958
• Über die Zwischensysteme der Aussagenlogik
  Nagoya Mathematical Journal, 1955