Dynamic Logic. New Trends and Applications

4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers

AvCarlos Areces,Diana Costa

Häftad, Engelska, 2023

Del 13780 i serien Lecture Notes in Computer Science

586 kr

Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:2023-02-15
Mått:155 x 235 x 10 mm
Vikt:271 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:155
Förlag:Springer International Publishing AG
ISBN:9783031266218

Utforska kategorier

Innehållsförteckning

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.