Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Lodaya, Kamal. (Editor)
• Format: Electronic
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Series: Lecture Notes in Computer Science, 7750
• Subjects: Computer science.; Logic design.; Computational complexity.; Artificial intelligence.; Computer vision.; Computer Science.; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.; Artificial Intelligence (incl. Robotics).; Computation by Abstract Devices.; Discrete Mathematics in Computer Science.; Computer Imaging, Vision, Pattern Recognition and Graphics.
• Online Access: https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-36039-8

This book collects 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�35 submissions. The papers cover th...

Table of Contents:

• Invited Papers
• Constructive Decision Theory (Extended Abstract)
• Bisimulation and Coverings for Graphs and Hypergraphs
• Forcing Axioms, Finite Conditions and Some More
• A Note on Axiomatisations of Two-Dimensional Modal Logics
• The Birth of Proof: Modality and Deductive Reasoning
• Indiscrete Models: Model Building and Model Checking over Linear Time
• Probabilistic IF Logic
• Contributed Papers
• Tableaux-Based Decision Method for Single-Agent Linear Time
• Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge
• Agent-Time Epistemics and Coordination
• Dynamic Epistemic Logic for Channel-Based Agent Communication
• On Kripkes Puzzle about Time and Thought
• Yablo Sequences in Truth Theories
• Moving Up and Down in the Generic Multiverse
• Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic
• Cut Elimination for Gentzens Sequent Calculus with Equality and Logic of Partial Terms
• Logic of Non-monotonic Interactive Proofs.-Noninterference for Intuitionist Necessity
• Many-Valued Logics, Fuzzy Logics and Graded Consequence: A Comparative Appraisal
• Fuzzy Preorder, Fuzzy Topology and Fuzzy Transition System
• Public Announcements for Non-omniscient Agents
• Subset Space Logic with Arbitrary Announcements
• Subset Space Public Announcement Logic.