OPAC

Dynamic Logic. New Trends and Applications : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers / edited by Carlos Areces, Diana Costa
(Lecture Notes in Computer Science. ISSN:16113349 ; 13780)

データ種別	電子ブック
版	1st ed. 2023.
出版者	(Cham : Springer International Publishing : Imprint: Springer)
出版年	2023
大きさ	XIII, 155 p. 37 illus : online resource
著者標目	Areces, Carlos editor Costa, Diana editor SpringerLink (Online service)

URL	巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
URL		射水-電子	007	EB0001626	Computer Scinece R0 2005-6,2022-3				9783031266225

一般注記	First steps in updating knowing how -- Parametrized modal logic II: the unidimensional case -- Relating Kleene algebras -- Dynamic epistemic logic for budget-constrained agents -- Action models for coalition logic -- Quantum logic for observation of physical quantities -- Cautious distributed belief -- A STIT logic of intentionality This book constitutes revised selected papers from the refereed proceedings of the 4th International Workshop on Dynamic Logic, DaLí 2022, held in Haifa, Israel, in July/August 2022. The 8 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They deal with new trends and applications in the area of Dynamic Logic. HTTP:URL=https://doi.org/10.1007/978-3-031-26622-5
件　名	LCSH:Logic LCSH:Mathematical logic LCSH:Logic programming LCSH:Software engineering LCSH:Computer networks FREE:Logic FREE:Mathematical Logic and Foundations FREE:Logic in AI FREE:Software Engineering FREE:Computer Communication Networks
分　類	LCC:BC1-199 DC23:160
書誌ID	EB00001014
ISBN	9783031266225