1 Table of Contents: “...-sequent proofs -- A connection based proof method for intuitionistic logic -- Tableau for intuitionistic...”

2 “..., intuitionistic logic, and temporal logic. This book will be of benefit to researchers engaged with artificial...”

3 “... and Intuitionistic logic, amongst others. The author also presents algorithms for the most important constructions...”

4 Table of Contents: “... Cut-Free Sequent Calculus for Bi-intuitionistic Logic -- Tableaux with Dynamic Filtration for Layered...”

5 Table of Contents: “... prover for intuitionistic logic -- Proof-terms for classical and intuitionistic resolution -- Proof...”

6 Table of Contents: “... for Propositional Intuitionistic Logic -- Intuitionisitic Tableau Extracted -- A Tableau-Based Decision Procedure...”

7 Table of Contents: “... proving and synthesis of ?-terms in the intuitionistic logic -- A constructive type system based on data...”

8 Table of Contents: “... Intuitionistic Logic Revisited -- Model Sets in a Nonconstructive Logic of Partial Terms with Definite...”

9 Table of Contents: “... of Modal Logics -- Automating Theories in Intuitionistic Logic -- Taming the Complexity of Temporal...”

10 Table of Contents: “... Provers for Intuitionistic Logic --...”

11 Table of Contents: “... Techniques for Querying Large Description Logic ABoxes -- A Local System for Intuitionistic Logic -- CIC...”

12 Table of Contents: “... -- An Incremental Technique for Automata-Based Decision Procedures -- Session 4. Intuitionistic Logic...”

13 Table of Contents: “... Completeness, Covers and Superposition -- A Tableaux Calculus for Default Intuitionistic Logic -- NIL: Learning...”

14 Table of Contents: “... -- On Herbrand’s Theorem for Intuitionistic Logic -- Ambiguity Propagating Defeasible Logic and the Well-Founded...”

15 Table of Contents: “... Semantics Based on Stratified Minimal Models -- Deep Inference in Bi-intuitionistic Logic -- : An Action...”

16 Table of Contents: “... Entailments in Separation Logic with Inductive Definitions -- Subformula Linking for Intuitionistic Logic...”

17 Table of Contents: “... Logic into Intuitionistic Logic -- Combining Proof-Search and Counter-Model Construction for Deciding...”

18 Table of Contents: “... and Intuitionistic Logic (System Descriptions) -- iProver – An Instantiation-Based Theorem Prover for First-Order...”

19 Table of Contents: “... of Inductive Theories -- A Possibilistic Intuitionistic Logic -- Jason Induction of Logical Decision Trees: A...”

20 Table of Contents: “... for Intuitionistic Logic in Nominal Isabelle -- AISC Meets Natural Typography -- The Monoids of Order Eight and Nine...”