Dynamic Logic. New Trends and Applications

Dynamic Logic. New Trends and Applications
Author: Nina Gierasimczuk
Publisher: Springer Nature
Total Pages: 147
Release: 2024-02-13
Genre: Computers
ISBN: 3031517776
GET BOOK

Download Dynamic Logic. New Trends and Applications Book in PDF, Epub and Kindle

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.


Dynamic Logic. New Trends and Applications
Language: en
Pages: 147

Dynamic Logic. New Trends and Applications

Authors: Nina Gierasimczuk
Categories: Computers
Type: BOOK - Published: 2024-02-13 - Publisher: Springer Nature

GET EBOOK

This book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic. New Trends and Applications, DaLí 2023, held in Tbilisi,
Dynamic Logic. New Trends and Applications
Language: en
Pages: 304

Dynamic Logic. New Trends and Applications

Authors: Manuel A. Martins
Categories: Computers
Type: BOOK - Published: 2020-12-21 - Publisher: Springer Nature

GET EBOOK

This book constitutes the proceedings of the Third International Workshop on Dynamic Logic, DaLí 2019, held in Prague, Czech Republic in October 2020. Due to C
Dynamic Logic. New Trends and Applications
Language: en
Pages: 167

Dynamic Logic. New Trends and Applications

Authors: Carlos Areces
Categories: Philosophy
Type: BOOK - Published: 2023-02-14 - Publisher: Springer Nature

GET EBOOK

This book constitutes revised selected papers from the refereed proceedings of the 4th International Workshop on Dynamic Logic, DaLí 2022, held in Haifa, Israe
Dynamic Logic. New Trends and Applications
Language: en
Pages: 234

Dynamic Logic. New Trends and Applications

Authors: Luís Soares Barbosa
Categories: Computers
Type: BOOK - Published: 2020-01-13 - Publisher: Springer Nature

GET EBOOK

This book constitutes the proceedings of the Second International Workshop on Dynamic Logic, DALI 2019, held in Porto, Portugal in October 2019. The workshop wa
Dynamic Logic. New Trends and Applications
Language: en
Pages: 201

Dynamic Logic. New Trends and Applications

Authors: Alexandre Madeira
Categories: Computers
Type: BOOK - Published: 2017-12-30 - Publisher: Springer

GET EBOOK

This book constitutes the proceedings of the First International Workshop on Dynamic Logic, DALI 2017, held in Brasilia, Brazil, in September 2017. Both its the