Logic and Its Applications

5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings

Editors:

ISBN: 978-3-642-36038-1 (Print) 978-3-642-36039-8 (Online)

Table of contents (22 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Invited Papers

    1. No Access

      Book Chapter

      Pages 1-4

      Constructive Decision Theory

    2. No Access

      Book Chapter

      Pages 5-16

      Bisimulation and Coverings for Graphs and Hypergraphs

    3. No Access

      Book Chapter

      Pages 17-26

      Forcing Axioms, Finite Conditions and Some More

    4. No Access

      Book Chapter

      Pages 27-33

      A Note on Axiomatisations of Two-Dimensional Modal Logics

    5. No Access

      Book Chapter

      Pages 34-49

      The Birth of Proof: Modality and Deductive Reasoning

    6. No Access

      Book Chapter

      Pages 50-68

      Indiscrete Models: Model Building and Model Checking over Linear Time

    7. No Access

      Book Chapter

      Pages 69-79

      Probabilistic IF Logic

  3. Contributed Papers

    1. No Access

      Book Chapter

      Pages 80-96

      Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge

    2. No Access

      Book Chapter

      Pages 97-108

      Agent-Time Epistemics and Coordination

    3. No Access

      Book Chapter

      Pages 109-120

      Dynamic Epistemic Logic for Channel-Based Agent Communication

    4. No Access

      Book Chapter

      Pages 121-126

      On Kripke’s Puzzle about Time and Thought

    5. No Access

      Book Chapter

      Pages 127-138

      Yablo Sequences in Truth Theories

    6. No Access

      Book Chapter

      Pages 139-147

      Moving Up and Down in the Generic Multiverse

    7. No Access

      Book Chapter

      Pages 148-160

      Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic

    8. No Access

      Book Chapter

      Pages 161-172

      Cut Elimination for Gentzen’s Sequent Calculus with Equality and Logic of Partial Terms

    9. No Access

      Book Chapter

      Pages 173-184

      Logic of Non-monotonic Interactive Proofs

    10. No Access

      Book Chapter

      Pages 185-196

      Noninterference for Intuitionist Necessity

    11. No Access

      Book Chapter

      Pages 197-209

      Many-Valued Logics, Fuzzy Logics and Graded Consequence: A Comparative Appraisal

    12. No Access

      Book Chapter

      Pages 210-219

      Fuzzy Preorder, Fuzzy Topology and Fuzzy Transition System

    13. No Access

      Book Chapter

      Pages 220-232

      Public Announcements for Non-omniscient Agents

previous Page of 2