東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回上頁

切換: 標籤 | MARC模式 | ISBD

FindBook

Google Book

Amazon

博客來

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
其他作者:	Aiswarya, C.
團體作者:	ICLA (Conference : Logic)
出版者:	Cham :Springer Nature Switzerland : : 2025.,
面頁冊數:	x, 263 p. :ill. (some col.), digital ;24 cm.
內容註:	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.
Contained By:	Springer Nature eBook
標題:	Logic - Congresses. -
電子資源:	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 ;15402..

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:

892582
Logic
--Congresses.

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:02763nmm a2200349 a 4500 001 2409889
003 DE-He213
005 20250527130247.0
006 m d
007 cr nn 008maaau
008 260204s2025 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 ICLA (Conference : Logic) $n (11th : $d 2025 : $c Kolkata, India) $3 3783422
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 $v Congresses. $3 892582
650 0 $a Computer logic $x Congresses. $3 726280
650 0 $a Language and logic $x Congresses. $3 658486
650 1 4 $a Formal Languages and Automata Theory. $3 3592087
650 2 4 $a Mathematical Logic and Foundations. $3 892656
650 2 4 $a Logic in AI. $3 3386372
650 2 4 $a Computer System Implementation. $3 892710
650 2 4 $a Computer and Information Systems Applications. $3 3538505
650 2 4 $a Software Engineering. $3 890874
700 1 $a Aiswarya, C. $3 3783423
700 1 $a Sen, Prabal Kumar. $3 3783424
700 1 $a Srivastava, Shashi Mohan. $3 3259174
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 15402. $3 3783425
856 4 0 $u https://doi.org/10.1007/978-3-031-89610-1
950 $a Computer Science (SpringerNature-11645)