國立虎尾科技大學 |

Logic and its applications = 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025 : proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Logic and its applications/ edited by C. Aiswarya, Prabal Kumar Sen, Shashi Mohan Srivastava.
其他題名:	11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025 : proceedings /
其他題名:	ICLA 2025
其他作者:	Srivastava, Shashi Mohan.
團體作者:	Workshop on the Preservation of Stability under Discretization
出版者:	Cham :Springer Nature Switzerland : : 2025.,
面頁冊數:	x, 263 p. :ill. (some col.), digital ; : 24 cm.;
Contained By:	Springer Nature eBook
標題:	Software Engineering. -
電子資源:	https://doi.org/10.1007/978-3-031-89610-1
ISBN:	9783031896101

Logic and its applications = 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025 : proceedings /
Logic and its applications11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025 : proceedings /[electronic resource] :ICLA 2025edited by C. Aiswarya, Prabal Kumar Sen, Shashi Mohan Srivastava. - Cham :Springer Nature Switzerland :2025. - x, 263 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,154021611-3349 ;. - Lecture notes in computer science ;6140..

On 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.

This 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.

ISBN: 9783031896101

Standard No.: 10.1007/978-3-031-89610-1doiSubjects--Topical Terms:

669632
Software Engineering.

LC Class. No.: BC5 / .I253 2025

Dewey Class. No.: 160

Logic and its applications = 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025 : proceedings /
LDR:02763nam a2200349 a 4500 001 1161983
003 DE-He213
005 20250527130247.0
006 m d
007 cr nn 008maaau
008 251029s2025 sz s 0 eng d
020 $a 9783031896101 $q (electronic bk.)
020 $a 9783031896095 $q (paper)
024 7 $a 10.1007/978-3-031-89610-1 $2 doi
035 $a 978-3-031-89610-1
040 $a GP $c GP
041 0 $a eng
050 4 $a BC5 $b .I253 2025
072 7 $a UYA $2 bicssc
072 7 $a COM014000 $2 bisacsh
072 7 $a UYA $2 thema
082 0 4 $a 160 $2 23
090 $a BC5 $b .I17 2025
111 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
245 1 0 $a Logic and its applications $h [electronic resource] : $b 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025 : proceedings / $c edited by C. Aiswarya, Prabal Kumar Sen, Shashi Mohan Srivastava.
246 3 $a ICLA 2025
260 $a Cham : $c 2025. $b Springer Nature Switzerland : $b Imprint: Springer,
300 $a x, 263 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 1611-3349 ; $v 15402
505 0 $a On 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.
520 $a This 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.
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Computer and Information Systems Applications. $3 1365732
650 2 4 $a Computer System Implementation. $3 669803
650 2 4 $a Logic in AI. $3 1228083
650 2 4 $a Mathematical Logic and Foundations. $3 669393
650 1 4 $a Formal Languages and Automata Theory. $3 1365747
650 0 $a Language and logic $3 575967
650 0 $a Computer logic $v Congresses. $3 784003
650 0 $a Logic $3 558651
700 1 $a Srivastava, Shashi Mohan. $3 1074385
700 1 $a Sen, Prabal Kumar. $3 1488853
700 1 $a Aiswarya, C. $3 1488852
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 6140. $3 744199
856 4 0 $u https://doi.org/10.1007/978-3-031-89610-1
950 $a Computer Science (SpringerNature-11645)