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

Logic and Its Applications

Overview of attention for book
Cover of 'Logic and Its Applications'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Conversation and Games
  3. Altmetric Badge
    Chapter 2 Ramsey Theory on Trees and Applications
  4. Altmetric Badge
    Chapter 3 Automata, Logic and Games for the $$\lambda $$ -Calculus
  5. Altmetric Badge
    Chapter 4 Semantics and Proof Theory of the Epsilon Calculus
  6. Altmetric Badge
    Chapter 5 Neighbourhood Contingency Bisimulation
  7. Altmetric Badge
    Chapter 6 The Complexity of Finding Read-Once NAE-Resolution Refutations
  8. Altmetric Badge
    Chapter 7 Knowing Values and Public Inspection
  9. Altmetric Badge
    Chapter 8 Random Models for Evaluating Efficient Büchi Universality Checking
  10. Altmetric Badge
    Chapter 9 A Substructural Epistemic Resource Logic
  11. Altmetric Badge
    Chapter 10 Deriving Natural Deduction Rules from Truth Tables
  12. Altmetric Badge
    Chapter 11 A Semantic Analysis of Stone and Dual Stone Negations with Regularity
  13. Altmetric Badge
    Chapter 12 Achieving While Maintaining:
  14. Altmetric Badge
    Chapter 13 Peirce’s Sequent Proofs of Distributivity
  15. Altmetric Badge
    Chapter 14 On Semantic Gamification
  16. Altmetric Badge
    Chapter 15 Ancient Indian Logic and Analogy
  17. Altmetric Badge
    Chapter 16 Definability of Recursive Predicates in the Induced Subgraph Order
  18. Altmetric Badge
    Chapter 17 Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic
Attention for Chapter 3: Automata, Logic and Games for the $$\lambda $$ -Calculus
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
1 Mendeley
Summary Dimensions citations
So far, Dimensions has found 2 publications that cite this research output.

2

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