Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September...

— —

Nina Gierasimczuk Fernando R. Velázquez-Quesada

Dynamic Logic. New Trends and Applications

5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected...

Nina Gierasimczuk, Fernando R. Velázquez-Quesada

$126.95 $101.37

Paperback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We then advise you accordingly. If the time taken to get any book is too long for you, you can let us know and we will cancel or adjust your order, and refund as required.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

Springer International Publishing AG
13 January 2024

Mathematical foundations; Mathematical logic; Software Engineering; Mathematical theory of computation; Artificial intelligence

Series: Lecture Notes in Computer Science

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.

Edited by: Nina Gierasimczuk, Fernando R. Velázquez-Quesada
Imprint: Springer International Publishing AG
Country of Publication: Switzerland
Edition: 1st ed. 2024
Volume: 14401
Dimensions: Height: 235mm, Width: 155mm,
Weight: 242g
ISBN: 9783031517761
ISBN 10: 3031517768
Series: Lecture Notes in Computer Science
Pages: 137
Publication Date: 13 January 2024
Audience: Professional and scholarly , Undergraduate
Format: Paperback
Publisher's Status: Active

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.