Logic and Its Applications

1. Front Matter

   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

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.

• bisimulation
• decision theory
• epistemic logic
• forcing
• modal logic
• temporal logic

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

  Kamal Lodaya

Policies and ethics