![Cover image for Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers Cover image for Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers
Author:
Areces, Carlos. editor.
ISBN:
9783031266225
Edition:
1st ed. 2023.
Physical Description:
XIII, 155 p. 37 illus. online resource.
Series:
Lecture Notes in Computer Science, 13780
Contents:
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.
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-031-26622-5Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 521384-1001 | XX(521384.1) | Searching... | Searching... |