國立高雄大學圖資館 |

Language: English

Back

Logic and its applications11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Logic and its applicationsedited by C. Aiswarya, Prabal Kumar Sen, Shashi Mohan Srivastava.
Reminder of title:	11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025 : proceedings /
remainder title:	ICLA 2025
other author:	Aiswarya, C.
corporate name:
Published:	Cham :Springer Nature Switzerland :2025.
Description:	x, 263 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Logic
Online resource:	https://doi.org/10.1007/978-3-031-89610-1
ISBN:	9783031896101$q(electronic bk.)

Logic and its applications11th 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 ;4891..

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$q(electronic bk.)

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

217984
Logic

LC Class. No.: BC5 / .I253 2025

Dewey Class. No.: 160

Logic and its applications11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025 : proceedings /
LDR:02764nmm a2200349 a 4500 001 677598
003 DE-He213
005 20250527130247.0
006 m d
007 cr nn 008maaau
008 251021s2025 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 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
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 : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2025.
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 0 $a Logic $3 217984
650 0 $a Computer logic $v Congresses. $3 443053
650 0 $a Language and logic $3 268960
650 1 4 $a Formal Languages and Automata Theory. $3 914922
650 2 4 $a Mathematical Logic and Foundations. $3 274479
650 2 4 $a Logic in AI. $3 836108
650 2 4 $a Computer System Implementation. $3 276333
650 2 4 $a Computer and Information Systems Applications. $3 913125
650 2 4 $a Software Engineering. $3 274511
700 1 $a Aiswarya, C. $3 991086
700 1 $a Sen, Prabal Kumar. $3 991087
700 1 $a Srivastava, Shashi Mohan. $3 792991
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
856 4 0 $u https://doi.org/10.1007/978-3-031-89610-1
950 $a Computer Science (SpringerNature-11645)