↓ Skip to main content
What is this page? Embed badge

Proof Methods for Modal and Intuitionistic Logics

Overview of attention for book
Cover of 'Proof Methods for Modal and Intuitionistic Logics'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Introduction
  3. Altmetric Badge
    Chapter 2 Background
  4. Altmetric Badge
    Chapter 3 Analytic Modal Tableaus and Consistency Properties
  5. Altmetric Badge
    Chapter 4 Logical Consequence, Compactness, Interpolation, and Other Topics
  6. Altmetric Badge
    Chapter 5 Axiom Systems and Natural Deduction
  7. Altmetric Badge
    Chapter 6 Non-Analytic Logics
  8. Altmetric Badge
    Chapter 7 Non-Normal Logics
  9. Altmetric Badge
    Chapter 8 Quantifiers
  10. Altmetric Badge
    Chapter 9 Prefixed Tableau Systems
  11. Altmetric Badge
    Chapter 10 Intuitionistic Logic
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Readers on

mendeley
49 Mendeley
Summary X

This page is provided by Altmetric.