Dynamic logic. New trends and applications. 4th international workshop, DaLí 2022, Haifa, Israel, July 31 -- August 1, 2022. Revised selected papers

DOI10.1007/978-3-031-26622-5MaRDI QIDQ6192772

No author found.

Publication date: 12 March 2024

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Proceedings of conferences of miscellaneous specific interest (00B25) Logic in computer science (03B70) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

This page was built for publication: Dynamic logic. New trends and applications. 4th international workshop, DaLí 2022, Haifa, Israel, July 31 -- August 1, 2022. Revised selected papers