Polymorphic Context for Contextual Modality. - Yuito Murase; Yuichi Nishiwaki (CoRR, 2018)

Modality via Iterated Enrichment. - Yuichi Nishiwaki; Yoshihiko Kakutani; Yuito Murase (MFPS, 2018)

Dual-context Modal Logic as Left Adjoint of Fitch-style Modal Logic. - Yoshihiko Kakutani; Yuito Murase; Yuichi Nishiwaki (J. Inf. Process., 2019)

Contextual Modal Type Theory with Polymorphic Contexts. - Yuito Murase; Yuichi Nishiwaki; Atsushi Igarashi (ESOP, 2023)