↓ 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 Constructive Decision Theory
  3. Altmetric Badge
    Chapter 2 Bisimulation and Coverings for Graphs and Hypergraphs
  4. Altmetric Badge
    Chapter 3 Forcing Axioms, Finite Conditions and Some More
  5. Altmetric Badge
    Chapter 4 A Note on Axiomatisations of Two-Dimensional Modal Logics
  6. Altmetric Badge
    Chapter 5 The Birth of Proof: Modality and Deductive Reasoning
  7. Altmetric Badge
    Chapter 6 Indiscrete Models: Model Building and Model Checking over Linear Time
  8. Altmetric Badge
    Chapter 7 Probabilistic IF Logic
  9. Altmetric Badge
    Chapter 8 Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge
  10. Altmetric Badge
    Chapter 9 Agent-Time Epistemics and Coordination
  11. Altmetric Badge
    Chapter 10 Dynamic Epistemic Logic for Channel-Based Agent Communication
  12. Altmetric Badge
    Chapter 11 On Kripke’s Puzzle about Time and Thought
  13. Altmetric Badge
    Chapter 12 Yablo Sequences in Truth Theories
  14. Altmetric Badge
    Chapter 13 Moving Up and Down in the Generic Multiverse
  15. Altmetric Badge
    Chapter 14 Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic
  16. Altmetric Badge
    Chapter 15 Cut Elimination for Gentzen’s Sequent Calculus with Equality and Logic of Partial Terms
  17. Altmetric Badge
    Chapter 16 Logic of Non-monotonic Interactive Proofs
  18. Altmetric Badge
    Chapter 17 Noninterference for Intuitionist Necessity
  19. Altmetric Badge
    Chapter 18 Many-Valued Logics, Fuzzy Logics and Graded Consequence: A Comparative Appraisal
  20. Altmetric Badge
    Chapter 19 Fuzzy Preorder, Fuzzy Topology and Fuzzy Transition System
  21. Altmetric Badge
    Chapter 20 Public Announcements for Non-omniscient Agents
  22. Altmetric Badge
    Chapter 21 Subset Space Logic with Arbitrary Announcements
  23. Altmetric Badge
    Chapter 22 Subset Space Public Announcement Logic
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

blogs
1 blog

Readers on

mendeley
1 Mendeley
Summary Blogs
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 and Its Applications
Published by
Springer, Berlin, Heidelberg, January 2013
DOI 10.1007/978-3-642-36039-8
ISBNs
978-3-64-236038-1, 978-3-64-236039-8
Authors

Lodaya, Kamal

Editors

Kamal Lodaya

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

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

This page is provided by Altmetric.