LEADER 04210nam  22007335  450 
001 9911007489303321
005 20250527130247.0
010   $a3-031-89610-6
024 7 $a10.1007/978-3-031-89610-1
035   $a(CKB)39124558600041
035   $a(DE-He213)978-3-031-89610-1
035   $a(MiAaPQ)EBC32133389
035   $a(Au-PeEL)EBL32133389
035   $a(EXLCZ)9939124558600041
100   $a20250527d2025      u|         0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aLogic and Its Applications $e11th Indian Conference, ICLA 2025, Kolkata, India, February 3?5, 2025, Proceedings /$fedited by C. Aiswarya, Prabal Kumar Sen, Shashi Mohan Srivastava
205   $a1st ed. 2025.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025.
215   $a1 online resource (X, 263 p. 25 illus., 6 illus. in color.) 
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15402
311 08$a3-031-89609-2 
327   $aOn Extensions of Partial Isometries -- The Specker-Blatter Theorem: An Application of Logic to Combinatorial Counting -- Propositional Dynamic Logic Formula Synthesis and some Applications -- NSOP1 as a dividing line -- Asynchronous transition system games for two processes and their analysis -- Relational Companions of Logics -- Bounded Henkin Quantifiers and the Exponential Time Hierarchy -- Monotone Modal Logic beyond Distributivity -- Recognizing Numbers -- There is hope for connexive set theories! -- Semantics of Basic Modal Language via a Rough Set Framework -- Modal and intermediate logics of spiked Boolean algebras -- Equivalence of Deterministic Weighted Real-time One-Counter Automata -- Passive Learning of Fuzzy Temporal Logic Rules from Finite Traces -- A Mimamsa Inspired Framework towards Temporal Reasoning in Large Language Models -- Measurement-Theoretic Foundations of Logic of Inexact Knowledge -- Craig Interpolation for Awareness Logics -- Knowable as Knowing How to Inquire.
330   $aThis book constitutes the refereed proceedings of the 11th Indian Conference on Logic and Its Applications, ICLA 2025, held in Kolkata, India, during February 3?5, 2025. Four out the five invited talks are included in this book. Out of the 26 submissions, the program committee carefully selected 14 papers to be included in the proceedings. The topics included are Mathematics, Computer Science, Philosophy, Linguistics and Cognitive Science. A special feature of ICLA is the inclusion of studies in systems of logic in the Indian tradition, as well as historical research on logic.
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v15402
606   $aMachine theory
606   $aLogic, Symbolic and mathematical
606   $aLogic programming
606   $aComputer systems
606   $aApplication software
606   $aSoftware engineering
606   $aFormal Languages and Automata Theory
606   $aMathematical Logic and Foundations
606   $aLogic in AI
606   $aComputer System Implementation
606   $aComputer and Information Systems Applications
606   $aSoftware Engineering
615  0$aMachine theory.
615  0$aLogic, Symbolic and mathematical.
615  0$aLogic programming.
615  0$aComputer systems.
615  0$aApplication software.
615  0$aSoftware engineering.
615 14$aFormal Languages and Automata Theory.
615 24$aMathematical Logic and Foundations.
615 24$aLogic in AI.
615 24$aComputer System Implementation.
615 24$aComputer and Information Systems Applications.
615 24$aSoftware Engineering.
676   $a005.131
702   $aAiswarya$b C$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSen$b Prabal Kumar$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSrivastava$b S. M$g(Shashi Mohan),$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9911007489303321
996   $aLogic and its applications$9743287
997   $aUNINA