Dynamic Logic. New Trends and Applications

C. Areces and D. Costa, editors. Dynamic Logic. New Trends and Applications, Springer International Publishing, 2023.

Download

(unavailable)

Abstract

(unavailable)

BibTeX

@Proceedings{arec:dyna23,
  title =        "Dynamic Logic. New Trends and Applications",
  year =         "2023",
  editor =       "C. Areces and D. Costa",
  publisher =    "Springer International Publishing",
  ISBN =         "978-3-031-26622-5",
}