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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.