Yuito Murase

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 5

Top Topics

Explanation Based Generalization

Knowledge Retrieval

Top Venues

J. Inf. Process.

Publications

Yuito Murase, Yuichi Nishiwaki, Atsushi Igarashi
Contextual Modal Type Theory with Polymorphic Contexts. ESOP (2023)
Yoshihiko Kakutani, Yuito Murase, Yuichi Nishiwaki
Dual-context Modal Logic as Left Adjoint of Fitch-style Modal Logic. J. Inf. Process. 27 (2019)
Yuito Murase, Yuichi Nishiwaki
Polymorphic Context for Contextual Modality. CoRR (2018)
Yuichi Nishiwaki, Yoshihiko Kakutani, Yuito Murase
Modality via Iterated Enrichment. CoRR (2018)
Yuichi Nishiwaki, Yoshihiko Kakutani, Yuito Murase
Modality via Iterated Enrichment. MFPS (2018)