A proof-theoretic study of the correspondence of classical logic and modal logic. - Hirohiko Kushida; Mitsu Okada (J. Symb. Log., 2003)

A proof-theoretic study of the correspondence of hybrid logic and classical logic. - Hirohiko Kushida; Mitsu Okada (J. Log. Lang. Inf., 2007)