|
![]() |
|||
|
||||
OverviewThis 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 new trends and applications in the area of Dynamic Logic. Full Product DetailsAuthor: Carlos Areces , Diana CostaPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 1st ed. 2023 Volume: 13780 Weight: 0.273kg ISBN: 9783031266218ISBN 10: 3031266218 Pages: 155 Publication Date: 15 February 2023 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand ![]() We will order this item for you from a manufactured on demand supplier. Table of ContentsFirst 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.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |