↓ 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
Attention for Chapter 4: Logical Consequence, Compactness, Interpolation, and Other Topics
Altmetric Badge

Citations

dimensions_citation
435 Dimensions
Summary Dimensions citations
So far, Dimensions has found 435 publications that cite this research output.

435

The most recent citing publications are shown below. View all 435 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.