,

Dynamic Logic. New Trends and Applications

4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers

Specificaties
Paperback, blz. | Engels
Springer International Publishing | e druk, 2023
ISBN13: 9783031266218
Rubricering
Juridisch :
Springer International Publishing e druk, 2023 9783031266218
Onderdeel van serie Lecture Notes in Computer Science
€ 60,99
Levertijd ongeveer 9 werkdagen
Gratis verzonden

Samenvatting

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 new trends and applications in the area of Dynamic Logic. 

Specificaties

ISBN13:9783031266218
Taal:Engels
Bindwijze:paperback
Uitgever:Springer International Publishing

Inhoudsopgave

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.

Net verschenen

€ 60,99
Levertijd ongeveer 9 werkdagen
Gratis verzonden

Rubrieken

    Personen

      Trefwoorden

        Dynamic Logic. New Trends and Applications