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.
Books > Philosophy
Dynamic Logic. New Trends And Applications
Specifications of Dynamic Logic. New Trends And Applications | |
---|---|
Category | Medien > Bücher |
Instock | instock |