Dynamic Logic. New Trends and Applications Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020, Revised Selected Papers Martins, Manuel A. Heftet / 2020 / Engelsk
Logic, Language, and Computation 14th International Tbilisi Symposium, TbiLLC 2023, Telavi, Georgia, September 18–22, 2023, Revised Selected Papers Hogeweg Lotte Heftet / 2026 / Engelsk
