LEADER 04851nam  22007815  450 
001 996465974803316
005 20230619181732.0
010   $a3-642-36039-4
024 7 $a10.1007/978-3-642-36039-8
035   $a(CKB)3400000000102977
035   $a(SSID)ssj0000880031
035   $a(PQKBManifestationID)11495319
035   $a(PQKBTitleCode)TC0000880031
035   $a(PQKBWorkID)10873212
035   $a(PQKB)10314359
035   $a(DE-He213)978-3-642-36039-8
035   $a(MiAaPQ)EBC3068797
035   $a(PPN)168329638
035   $a(EXLCZ)993400000000102977
100   $a20121227d2013      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aLogic and Its Applications$b[electronic resource] $e5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings /$fedited by Kamal Lodaya
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (X, 259 p. 18 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7750
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-36038-6 
320   $aIncludes bibliographical references and index.
327   $aInvited 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.
330   $aThis 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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7750
606   $aMachine theory
606   $aComputer science
606   $aArtificial intelligence
606   $aComputer science?Mathematics
606   $aDiscrete mathematics
606   $aImage processing?Digital techniques
606   $aComputer vision
606   $aFormal Languages and Automata Theory
606   $aComputer Science Logic and Foundations of Programming
606   $aArtificial Intelligence
606   $aTheory of Computation
606   $aDiscrete Mathematics in Computer Science
606   $aComputer Imaging, Vision, Pattern Recognition and Graphics
615  0$aMachine theory.
615  0$aComputer science.
615  0$aArtificial intelligence.
615  0$aComputer science?Mathematics.
615  0$aDiscrete mathematics.
615  0$aImage processing?Digital techniques.
615  0$aComputer vision.
615 14$aFormal Languages and Automata Theory.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aArtificial Intelligence.
615 24$aTheory of Computation.
615 24$aDiscrete Mathematics in Computer Science.
615 24$aComputer Imaging, Vision, Pattern Recognition and Graphics.
676   $a005.131
702   $aLodaya$b Kamal$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465974803316
996   $aLogic and its applications$9743287
997   $aUNISA