Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers
by
Areces, Carlos. editor.
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 Author
:
Areces, Carlos.
Costa, Diana.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
| Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
|---|
| Online Library | E-Book | 521384-1001 | ONLINE | | Elektronik Kütüphane |