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

Logic, Language, Information, and Computation

Overview of attention for book
Cover of 'Logic, Language, Information, and Computation'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Logic and Agent Programming Languages
  3. Altmetric Badge
    Chapter 2 Natural Models of Homotopy Type Theory (Abstract)
  4. Altmetric Badge
    Chapter 3 Modelling Infinite Structures with Atoms
  5. Altmetric Badge
    Chapter 4 Counting in SPARQL Property Paths: Perspectives from Theory and Practice
  6. Altmetric Badge
    Chapter 5 Quantitative Approaches to Information Protection
  7. Altmetric Badge
    Chapter 6 Perspectives of Dynamic Complexity
  8. Altmetric Badge
    Chapter 7 Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach
  9. Altmetric Badge
    Chapter 8 First Order Extensions of Residue Classes and Uniform Circuit Complexity
  10. Altmetric Badge
    Chapter 9 Quantum Probabilistic Dyadic Second-Order Logic
  11. Altmetric Badge
    Chapter 10 Structural Extensions of Display Calculi: A General Recipe
  12. Altmetric Badge
    Chapter 11 The Same, Similar, or Just Completely Different? Equivalence for Argumentation in Light of Logic
  13. Altmetric Badge
    Chapter 12 Boolean Dependence Logic and Partially-Ordered Connectives
  14. Altmetric Badge
    Chapter 13 Extended Modal Dependence Logic $\mathcal{EMDL}$
  15. Altmetric Badge
    Chapter 14 Dependence Logic with Generalized Quantifiers: Axiomatizations
  16. Altmetric Badge
    Chapter 15 Continuous Truth II: Reflections
  17. Altmetric Badge
    Chapter 16 A Simple Separation Logic
  18. Altmetric Badge
    Chapter 17 Independence in Database Relations
  19. Altmetric Badge
    Chapter 18 Substructural Logic of Proofs
  20. Altmetric Badge
    Chapter 19 Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics
  21. Altmetric Badge
    Chapter 20 A Finite Model Property for Gödel Modal Logics
  22. Altmetric Badge
    Chapter 21 Model Checking for Modal Dependence Logic: An Approach through Post’s Lattice
  23. Altmetric Badge
    Chapter 22 Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL *
  24. Altmetric Badge
    Chapter 23 Information, Awareness and Substructural Logics
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Readers on

mendeley
3 Mendeley
Summary X
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Logic, Language, Information, and Computation
Published by
Springer Berlin Heidelberg, August 2013
DOI 10.1007/978-3-642-39992-3
ISBNs
978-3-64-239991-6, 978-3-64-239992-3
Editors

Libkin, Leonid, Kohlenbach, Ulrich, Queiroz, Ruy

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
 Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 3 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 3 100%

Demographic breakdown

Readers by professional status Count As %
Student > Postgraduate 3 100%
Readers by discipline Count As %
Computer Science 3 100%

This page is provided by Altmetric.