LEADER 00911nam0 22002531i 450 001 UON00029559 005 20231205102054.576 100 $a20020107d1938 |0itac50 ba 101 $ager 102 $aDE 105 $a|||| ||||| 200 1 $aRumelische Streifen$fvon Franz Babinger 210 $aBerlin$c[s.n.]$d1938 215 $a62 p.$d24 cm. 606 $aViaggi$xTurchia$3UONC008593$2FI 620 $aDE$dBerlin$3UONL003157 686 $aTUR VIII B$cTURCHIA - GEOGRAFIA/VIAGGI - VIAGGI$2A 700 1$aBABINGER$bFranz$3UONV007310$0178040 801 $aIT$bSOL$c20241129$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00029559 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI TUR VIII B 011 N disperso $eSI MR 28259 7 011 N disperso $sSmarrito 996 $aRumelische Streifen$91187914 997 $aUNIOR LEADER 03455nam 22005415 450 001 996673178103316 005 20250806175312.0 010 $a3-031-99536-8 024 7 $a10.1007/978-3-031-99536-1 035 $a(MiAaPQ)EBC32253090 035 $a(Au-PeEL)EBL32253090 035 $a(CKB)40083409800041 035 $a(OCoLC)1531319496 035 $a(DE-He213)978-3-031-99536-1 035 $a(EXLCZ)9940083409800041 100 $a20250806d2026 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aLogic, Language, Information, and Computation $e31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14?17, 2025, Proceedings /$fedited by Dexter Kozen, Ruy de Queiroz 205 $a1st ed. 2026. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2026. 215 $a1 online resource (770 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15942 311 08$a3-031-99535-X 327 $a -- Deep Induction for Inductive Families -- Asymptotic Reasoning with Two Variables Asymptotic Reasoning with Two Variables. -- Logics of Importation and Exportation for the Implicative Conditional. -- Paraconsistent Constructive Modal Logic. -- . Convergence laws for expansions of linear preorders. -- Indicative conditionals: algebraic considerations. -- Abstracting Conceptual Models as a Weakening Process. -- . Axiomatization and Decidability of Tense Information Logic. -- Infinitary Refinement Types for Temporal Properties in Scott Domains. -- On tame semantics for interpretability logic. -- Constructive Modal Logics: Bi-nested Calculi and Bi-relational Countermodels. -- Insensitive Games: Game Semantics for Modal Insensitivity. -- . Index set complexity for congruence lattices of lattices. -- The Satisfiability Problem in a Separation Logic of Relations. -- Graded Relation Updates in Modal Logic. -- Proof Search in Classical Propositional Logic with Partial Proof Terms. -- A significance-based account of ceteris paribus counterfactuals. -- Tabular intermediate logics comparison. -- Insignificant Choice Polynomial Time -- A Logic Capturing PTIME. -- Counterexamples to Import-Export in Conditionals: A Logical Analysis. 330 $aEdited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 31st International Workshop on Logic, Language, Information, and Computation, WoLLIC 2025, in Porto, Portugal, during July 2025. The 21 full papers included in this book were carefully reviewed and selected from 57 submissions. The WoLLIC conference aim of fostering interdisciplinary research in pure and applied logic. . 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v15942 606 $aComputers 606 $aArtificial intelligence 606 $aComputer Hardware 606 $aArtificial Intelligence 615 0$aComputers. 615 0$aArtificial intelligence. 615 14$aComputer Hardware. 615 24$aArtificial Intelligence. 676 $a004 700 $aKozen$b Dexter$0535967 701 $ade Queiroz$b Ruy$01742024 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996673178103316 996 $aLogic, Language, Information, and Computation$94428602 997 $aUNISA