Logic and its applications : 5th Indian conference, ICLA 2013, Chennai, India, January 10-12, 2013, proceedings

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. Front Matter....Pages - Constructive Decision Theory....Pages 1-4 Bisimulation and Coverings for Graphs and Hypergraphs....Pages 5-16 Forcing Axioms, Finite Conditions and Some More....Pages 17-26 A Note on Axiomatisations of Two-Dimensional Modal Logics....Pages 27-33 The Birth of Proof: Modality and Deductive Reasoning....Pages 34-49 Indiscrete Models: Model Building and Model Checking over Linear Time....Pages 50-68 Probabilistic IF Logic....Pages 69-79 Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge....Pages 80-96 Agent-Time Epistemics and Coordination....Pages 97-108 Dynamic Epistemic Logic for Channel-Based Agent Communication....Pages 109-120 On Kripke’s Puzzle about Time and Thought....Pages 121-126 Yablo Sequences in Truth Theories....Pages 127-138 Moving Up and Down in the Generic Multiverse....Pages 139-147 Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic....Pages 148-160 Cut Elimination for Gentzen’s Sequent Calculus with Equality and Logic of Partial Terms....Pages 161-172 Logic of Non-monotonic Interactive Proofs....Pages 173-184 Noninterference for Intuitionist Necessity....Pages 185-196 Many-Valued Logics, Fuzzy Logics and Graded Consequence: A Comparative Appraisal....Pages 197-209 Fuzzy Preorder, Fuzzy Topology and Fuzzy Transition System....Pages 210-219 Public Announcements for Non-omniscient Agents....Pages 220-232 Subset Space Logic with Arbitrary Announcements....Pages 233-244 Subset Space Public Announcement Logic....Pages 245-257 Back Matter....Pages - 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 Kripke's 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 Gentzen's 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 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 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.