On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic.
Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi
Browse the full CiE paper archive.
Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi
Browse the full CiE paper archive.