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
https://doi.org/10.1007/978-3-031-26622-5


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book521384-1001ONLINEElektronik Kütüphane