Alex Citkin was a student of A.V. Kuznetsov and under his supervision he defended doctor thesis in mathematical logic. The main areas of Citkin's interest are intermediate logics, admissible rules, varieties and quasivarieties of Heyting (and similar to them) algebras, logical systems with rejection.  Alexei Muravitsky was a student of A.V. Kuznetsov and under his supervision he defended doctor thesis in mathematical logic. The main areas of Muravitsky's interest are non-classical propositional logics and related semantics, non-monotonic reasoning, philosophy and epistemology of logic, history of logic, applications of many-valued logic in computer science, domain theory, consequence relations and operators.

• Introduction.- Chapter 1 will contain expositions showing how the ideas introduced by A V Kuznetsov were developed in the following areas Intermediate logics Proof logics Functionally closed classes Calculi of functional expressability Recursive functions.- Chapter 2 will contain the papers with original results in propositional modal and algebraic logic.

Alex Citkin was a student of A.V. Kuznetsov and under his supervision he defended doctor thesis in mathematical logic. The main areas of Citkin's interest are intermediate logics, admissible rules, varieties and quasivarieties of Heyting (and similar to them) algebras, logical systems with rejection.  Alexei Muravitsky was a student of A.V. Kuznetsov and under his supervision he defended doctor thesis in mathematical logic. The main areas of Muravitsky's interest are non-classical propositional logics and related semantics, non-monotonic reasoning, philosophy and epistemology of logic, history of logic, applications of many-valued logic in computer science, domain theory, consequence relations and operators.

• Introduction.- Chapter 1 will contain expositions showing how the ideas introduced by A V Kuznetsov were developed in the following areas Intermediate logics Proof logics Functionally closed classes Calculi of functional expressability Recursive functions.- Chapter 2 will contain the papers with original results in propositional modal and algebraic logic.

Alex Citkin was a student of A.V. Kuznetsov and under his supervision he defended doctor thesis in mathematical logic. The main areas of Citkin's interest are intermediate logics, admissible rules, varieties and quasivarieties of Heyting (and similar to them) algebras, logical systems with rejection.  Alexei Muravitsky was a student of A.V. Kuznetsov and under his supervision he defended doctor thesis in mathematical logic. The main areas of Muravitsky's interest are non-classical propositional logics and related semantics, non-monotonic reasoning, philosophy and epistemology of logic, history of logic, applications of many-valued logic in computer science, domain theory, consequence relations and operators.

• Introduction.- Chapter 1 will contain expositions showing how the ideas introduced by A V Kuznetsov were developed in the following areas Intermediate logics Proof logics Functionally closed classes Calculi of functional expressability Recursive functions.- Chapter 2 will contain the papers with original results in propositional modal and algebraic logic.