Значок книги

Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers /

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...

Полное описание

Сохранить в:
Библиографические подробности
Соавтор: SpringerLink (Online service)
Другие авторы: Areces, Carlos (Редактор), Costa, Diana (Редактор)
Формат: Электронный ресурс eКнига
Язык:английский
Опубликовано: Cham : Springer International Publishing : Imprint: Springer, 2023.
Редактирование:1st ed. 2023.
Серии:Lecture Notes in Computer Science, 13780
Предметы:
Logic.
Mathematical logic.
Logic programming.
Software engineering.
Computer networks .
Mathematical Logic and Foundations.
Logic in AI.
Software Engineering.
Computer Communication Networks.
Online-ссылка:https://doi.org/10.1007/978-3-031-26622-5
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!
Оглавление:
  • 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.

Схожие документы