1 Table of Contents: “...1 Introduction -- 2 Intuitionistic and Classical Logics -- 3 Intermediate Logics -- 4 Modal Logics...”

2 Table of Contents: “... Interpretations for HPC -- Heyting’s Propositional Calculus and Extensions -- Three Intermediate Logics...”

3 Table of Contents: “... extensions -- On the axiomatization of PRC-fields -- Formalizations of certain intermediate logics Part I...”

4 Table of Contents: “... Intermediate Logic -- R.E. Hodel: A Natural Axiom System for Boolean Algebras with Applications. ...”

5 Table of Contents: “... for intermediate logics (Guram Bezhanishvili, Nick Bezhanishvili) -- Chapter 5. Yankov Characteristic formulas...”

6 Table of Contents: “...) -- Chapter 9. Intermediate logics in the setting of team semantics (Nick Bezhanishvili and Fan Yang...”

7 Table of Contents: “... Finite Linear Orders: An Implementation -- Hypersequent and Labelled Calculi for Intermediate Logics...”

8 Table of Contents: “... Dialogue Games and Hypersequents for Intermediate Logics -- Simplification Rules for Constrained Formula...”

9 Table of Contents: “... Intermediate Logic -- Proof-theoretic Validity and the Completeness of Intuitionistic Logic -- Gentzen-type...”

10 Table of Contents: “... of Disjunction and Explicit Definability Properties in Some Intermediate Logics -- Using BDDs with Combinations...”

11 Table of Contents: “... and Intermediate Logics -- Light Linear Logic with Controlled Weakening -- Fuzzy Description Logic Reasoning Using...”

12 Table of Contents: “... Reasoning -- Hypertableau and Path-Hypertableau Calculi for some Families of Intermediate Logics -- Variants...”

13 Table of Contents: “... of ?-models; Chapter 3 A Survey of Decidability Results for Modal, Tense and Intermediate Logics; Chapter 4...”

14 Table of Contents: “... Generation of Intermediate Logic Forms for WordNet Glosses -- Worth Its Weight in Gold or Yet Another...”

15 Table of Contents: “...B.3 Further Improvements -- B.3.1 Voids, Singletons and Doubletons -- B.3.4 Intermediate Logical...”