Континуальные семейства логик

Abstract

General methods of constructing classes containing continuum of logics are described. It is shown how to prove that there exist chains and antichains consisting of continuum of logics; the proofs are applicable to Int, К, K4, GL, and many others. We put some questions about existence of classes with certain properties containing continuum of logics.