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

Hybrid Logic and its Proof-Theory

Overview of attention for book
Cover of 'Hybrid Logic and its Proof-Theory'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Introduction to Hybrid Logic
  3. Altmetric Badge
    Chapter 2 Proof-Theory of Propositional Hybrid Logic
  4. Altmetric Badge
    Chapter 3 Tableaus and Decision Procedures for Hybrid Logic
  5. Altmetric Badge
    Chapter 4 Comparison to Seligman’s Natural Deduction System
  6. Altmetric Badge
    Chapter 5 Functional Completeness for a Hybrid Logic
  7. Altmetric Badge
    Chapter 6 First-Order Hybrid Logic
  8. Altmetric Badge
    Chapter 7 Intensional First-Order Hybrid Logic
  9. Altmetric Badge
    Chapter 8 Intuitionistic Hybrid Logic
  10. Altmetric Badge
    Chapter 9 Labelled Versus Internalized Natural Deduction
  11. Altmetric Badge
    Chapter 10 Why Does the Proof-Theory of Hybrid Logic Behave So Well?
Attention for Chapter 3: Tableaus and Decision Procedures for Hybrid Logic
Altmetric Badge

Citations

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

75

The most recent citing publications are shown below. View all 75 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.