Parametrized modal logic. II: The unidimensional case. (English) Zbl 07860230
Areces, Carlos (ed.) et al., Dynamic logic. New trends and applications. 4th international workshop, DaLí 2022, Haifa, Israel, July 31 – August 1, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13780, 17-36 (2023).
MSC:
03B70