Librarian View
LEADER
03263nam a22005535i 4500
001
16950187
005
20240117141045.0
006
m o d
007
cr nn 008mamaa
008
240112s2024 sz | o |||| 0|eng d
020
|a
9783031517778
024
7
|a
10.1007/978-3-031-51777-8
|2
doi
035
|a
(DE-He213)978-3-031-51777-8
050
4
|a
QA75.5-76.95
245
1
0
|a
Dynamic Logic. New Trends and Applications
|h
[electronic resource] :
|b
5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers /
|c
edited by Nina Gierasimczuk, Fernando R. Velázquez-Quesada.
250
|a
1st ed. 2024.
264
1
|a
Cham :
|b
Springer Nature Switzerland :
|b
Imprint: Springer,
|c
2024.
300
|a
1 online resource (XI, 137 p.) 19 illus., 6 illus. in color.
336
|a
text
|b
txt
|2
rdacontent
337
|a
computer
|b
c
|2
rdamedia
338
|a
online resource
|b
cr
|2
rdacarrier
347
|a
text file
|b
PDF
|2
rda
490
1
|a
Lecture Notes in Computer Science,
|x
1611-3349 ;
|v
14401
505
0
|a
A spatial logic with time and quantifiers -- Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability -- Axiomatization of Hybrid Logic of Link Variations -- Kleene Algebra of Weighted Programs With Domain -- Automated Quantum Program Verification in Dynamic Quantum Logic -- Predictive Theory of Mind Models Based on Public Announcement Logic -- Learning by Intervention in Simple Causal Domains -- A Logical Approach to Doxastic Causal Reasoning.
506
|a
Access restricted by licensing agreement.
520
|a
This book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic. New Trends and Applications, DaLí 2023, held in Tbilisi, Georgia, during September 15-16, 2023. The 8 full papers in this book were carefully reviewed and selected from 10 submissions. They deal with new trends and applications in the area of Dynamic Logic.
590
|a
Access is available to the Yale community.
650
0
|a
Computer science.
650
0
|a
Mathematical logic.
650
0
|a
Logic programming.
650
0
|a
Software engineering.
650
0
|a
Computer networks .
700
1
|a
Gierasimczuk, Nina.
|e
editor.
|0
(orcid)0000-0001-5081-4676
|1
https://orcid.org/0000-0001-5081-4676
|4
edt
|4
http://id.loc.gov/vocabulary/relators/edt
700
1
|a
Velázquez-Quesada, Fernando R.
|e
editor.
|0
(orcid)0000-0003-4457-1414
|1
https://orcid.org/0000-0003-4457-1414
|4
edt
|4
http://id.loc.gov/vocabulary/relators/edt
710
2
|a
SpringerLink (Online service)
730
0
|a
Springer ENIN.
773
0
|t
Springer Nature eBook
776
0
8
|i
Printed edition:
|z
9783031517761
776
0
8
|i
Printed edition:
|z
9783031517785
830
0
|a
Lecture Notes in Computer Science,
|x
1611-3349 ;
|v
14401
852
8
0
|b
yulintx
|h
None
|z
Online resource
852
8
0
|z
Online resource
856
4
0
|y
Online book
|u
https://yale.idm.oclc.org/login?URL=https://doi.org/10.1007/978-3-031-51777-8
901
|a
QA75.5-76.95
902
|a
Yale Internet Resource
|b
Yale Internet Resource >> None|DELIM|16831749
905
|a
online resource
907
|a
2024-01-17T14:10:45.000Z
946
|a
DO NOT EDIT. DO NOT EXPORT.
953
|a
https://doi.org/10.1007/978-3-031-51777-8