LEADER 04008nam  2200577 a 450 
001 9910484464103321
005 20200520144314.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   $a20130112d2013      uy         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aLogic and its applications $e5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013 : proceedings /$fKamal Lodaya (ed.)
205   $a1st ed. 2013.
210   $aHeidelberg $cSpringer$d2013
215   $a1 online resource (X, 259 p. 18 illus.)
225 1 $aLecture notes in computer science. FoLLI publications on logic, language and information
225  0$aLecture notes in computer science,$x0302-9743 ;$v7750
225  0$aLNCS sublibrary.$nSL 1,$pTheoretical computer science and general issues
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$aLecture notes in computer science.$pLecture notes in artificial intelligence.$pFoLLI publications on logic, language and information.
606   $aLogic, Symbolic and mathematical$vCongresses
606   $aInformation theory$vCongresses
615  0$aLogic, Symbolic and mathematical
615  0$aInformation theory
676   $a005.131
701   $aLodaya$b Kamal$01757462
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484464103321
996   $aLogic and its applications$94195315
997   $aUNINA