On the succinctness of some modal logics

Tim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi. On the succinctness of some modal logics. Artificial Intelligence, 197:56-85, 2013. [doi]

Authors

Tim French

This author has not been identified. Look up 'Tim French' in Google

Wiebe van der Hoek

This author has not been identified. It may be one of the following persons: Look up 'Wiebe van der Hoek' in Google

Petar Iliev

This author has not been identified. Look up 'Petar Iliev' in Google

Barteld P. Kooi

This author has not been identified. Look up 'Barteld P. Kooi' in Google