Dynamic Logic. New Trends and Applications [E-Book] : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers / edited by Carlos Areces, Diana Costa.
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. They deal with n...
Saved in:
Full text |
|
Personal Name(s): | Areces, Carlos, editor |
Costa, Diana, editor | |
Edition: |
1st edition 2023. |
Imprint: |
Cham :
Springer,
2023
|
Physical Description: |
XIII, 155 pages 37 illustrations (online resource) |
Note: |
englisch |
ISBN: |
9783031266225 |
DOI: |
10.1007/978-3-031-26622-5 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Lecture Notes in Computer Science ;
13780 |
Subject (LOC): |
- 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.