Skip to main content
SpringerLink
Log in
Book cover

Logic and Its Applications

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

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Kamal Lodaya

    1. The Institute of Mathematical Sciences, CIT Campus, Chennai, India

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up to date results
  • State of the art research
  • Fast track conference proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7750)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: ICLA 2013.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (22 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Papers

    1. Constructive Decision Theory

      • Lawrence E. Blume, David A. Easley, Joseph Y. Halpern
      Pages 1-4

    2. Bisimulation and Coverings for Graphs and Hypergraphs

      • Martin Otto
      Pages 5-16

    3. Forcing Axioms, Finite Conditions and Some More

      • Mirna Džamonja
      Pages 17-26

    4. A Note on Axiomatisations of Two-Dimensional Modal Logics

      • Agi Kurucz
      Pages 27-33

    5. The Birth of Proof: Modality and Deductive Reasoning

      • Adriane Rini
      Pages 34-49

    6. Indiscrete Models: Model Building and Model Checking over Linear Time

      • Tim French, John McCabe-Dansted, Mark Reynolds
      Pages 50-68

    7. Probabilistic IF Logic

      • Gabriel Sandu
      Pages 69-79

  3. Contributed Papers

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

      • Mai Ajspur, Valentin Goranko
      Pages 80-96

    2. Agent-Time Epistemics and Coordination

      • Ido Ben-Zvi, Yoram Moses
      Pages 97-108

    3. Dynamic Epistemic Logic for Channel-Based Agent Communication

      • Katsuhiko Sano, Satoshi Tojo
      Pages 109-120

    4. On Kripke’s Puzzle about Time and Thought

      • Rohit Parikh
      Pages 121-126

    5. Yablo Sequences in Truth Theories

      • Cezary CieÅ›liÅ„ski
      Pages 127-138

    6. Moving Up and Down in the Generic Multiverse

      • Joel David Hamkins, Benedikt Löwe
      Pages 139-147

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

      • Björn Lellmann, Dirk Pattinson
      Pages 148-160

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

      • Franco Parlamento, Flavio Previale
      Pages 161-172

    9. Logic of Non-monotonic Interactive Proofs

      • Simon Kramer
      Pages 173-184

    10. Noninterference for Intuitionist Necessity

      • Radha Jagadeesan, Corin Pitcher, James Riely
      Pages 185-196

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

      • Soma Dutta, Sanjukta Basu, Mihir Kr. Chakraborty
      Pages 197-209

    12. Fuzzy Preorder, Fuzzy Topology and Fuzzy Transition System

      • S. P. Tiwari, Anupam K. Singh
      Pages 210-219
Back to top

Other volumes

  1. Logic and Its Applications

Keywords

About this book

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 5th Indian Conference on Logic and Its Applications, ICLA 2013, held in Chennai, India, in January 2013. The 15 revised full papers presented together with 7 invited talks were carefully reviewed and selected from numerous submissions. The papers cover the topics related to pure and applied logic, foundations and philosophy of mathematics and the sciences, set theory, model theory, proof theory, areas of theoretical computer science, artificial intelligence and other disciplines which are of direct interest to mathematical and philosophical logic.

Editors and Affiliations

  • The Institute of Mathematical Sciences, CIT Campus, Chennai, India

    Kamal Lodaya

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation