LEADER 04701nam 22007815 450 001 996465952903316 005 20230329171904.0 010 $a3-642-39992-4 024 7 $a10.1007/978-3-642-39992-3 035 $a(CKB)3710000000015887 035 $a(SSID)ssj0000988199 035 $a(PQKBManifestationID)11584615 035 $a(PQKBTitleCode)TC0000988199 035 $a(PQKBWorkID)10950205 035 $a(PQKB)11652701 035 $a(DE-He213)978-3-642-39992-3 035 $a(MiAaPQ)EBC3093120 035 $a(PPN)172428815 035 $a(EXLCZ)993710000000015887 100 $a20130814d2013 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogic, Language, Information, and Computation$b[electronic resource] $e20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings /$fedited by Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz 205 $a1st ed. 2013. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013. 215 $a1 online resource (X, 283 p. 15 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8071 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-39991-6 320 $aIncludes bibliographical references and index. 327 $aLogic and Agent Programming Languages -- Natural Models of Homotopy Type Theory (Abstract) -- Modelling Infinite Structures with Atoms -- Counting in SPARQL Property Paths: Perspectives from Theory and Practice -- Quantitative Approaches to Information Protection -- Perspectives of Dynamic Complexity -- Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach -- First Order Extensions of Residue Classes and Uniform Circuit Complexity -- Quantum Probabilistic Dyadic Second-Order Logic -- Structural Extensions of Display Calculi: A General Recipe -- The Same, Similar, or Just Completely Different? Equivalence for Argumentation in Light of Logic -- Boolean Dependence Logic and Partially-Ordered Connectives -- Extended Modal Dependence Logic EMDL -- Dependence Logic with Generalized Quantifiers: Axiomatizations -- Continuous Truth II: Reflections -- A Simple Separation Logic -- Independence in Database Relations -- Substructural Logic of Proofs -- Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics -- A Finite Model Property for GĻodel Modal Logics -- Model Checking for Modal Dependence Logic: An Approach through Post?s Lattice -- Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL -- Information, Awareness and Substructural Logics. 330 $aEdited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Communication, WoLLIC 2013, held in Darmstadt, Germany, in August 2013. The 17 contributed papers presented  together with 6 invited lectures were carefully reviewed and selected from 30 submissions. The scope of the workshop spans the theoretical and practical aspects of formal logic, computing and programming theory, and natural language and reasoning.   . 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8071 606 $aMachine theory 606 $aArtificial intelligence 606 $aComputer science?Mathematics 606 $aComputer science 606 $aFormal Languages and Automata Theory 606 $aArtificial Intelligence 606 $aSymbolic and Algebraic Manipulation 606 $aComputer Science 615 0$aMachine theory. 615 0$aArtificial intelligence. 615 0$aComputer science?Mathematics. 615 0$aComputer science. 615 14$aFormal Languages and Automata Theory. 615 24$aArtificial Intelligence. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aComputer Science. 676 $a005.101/5113 686 $a004$2sdnb 686 $aDAT 540f$2stub 686 $aDAT 710f$2stub 686 $aSS 4800$2rvk 702 $aLibkin$b Leonid$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKohlenbach$b Ulrich$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $ade Queiroz$b Ruy$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aWorkshop on Logic, Language, Information and Computation 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465952903316 996 $aLogic, Language, Information and Computation$9772504 997 $aUNISA