Atnaujinkite slapukų nuostatas

Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLķ 2022, Haifa, Israel, July 31August 1, 2022, Revised Selected Papers 1st ed. 2023 [Minkštas viršelis]

Edited by , Edited by
  • Formatas: Paperback / softback, 155 pages, aukštis x plotis: 235x155 mm, weight: 273 g, 37 Illustrations, black and white; XIII, 155 p. 37 illus., 1 Paperback / softback
  • Serija: Lecture Notes in Computer Science 13780
  • Išleidimo metai: 15-Feb-2023
  • Leidėjas: Springer International Publishing AG
  • ISBN-10: 3031266218
  • ISBN-13: 9783031266218
Kitos knygos pagal šią temą:
Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLí 2022, Haifa, Israel, July 31August 1, 2022, Revised Selected Papers 1st ed. 2023Didesnis paveikslėlis
  • Formatas: Paperback / softback, 155 pages, aukštis x plotis: 235x155 mm, weight: 273 g, 37 Illustrations, black and white; XIII, 155 p. 37 illus., 1 Paperback / softback
  • Serija: Lecture Notes in Computer Science 13780
  • Išleidimo metai: 15-Feb-2023
  • Leidėjas: Springer International Publishing AG
  • ISBN-10: 3031266218
  • ISBN-13: 9783031266218
Kitos knygos pagal šią temą:
Pastovi nuoroda: https://www.kriso.lt/db/9783031266218.html
Raktažodžiai:
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. 
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.