Old Web
English
Sign In
Acemap
>
Paper
>
Dual-context Modal Logic as Left Adjoint of Fitch-style Modal Logic
Dual-context Modal Logic as Left Adjoint of Fitch-style Modal Logic
2019
Yoshihiko Kakutani
Yuito Murase
Yuichi Nishiwaki
Keywords:
Theoretical computer science
Modal logic
Computer science
Lambda calculus
Algebra
Adjunction
Correction
Source
Cite
Save
Machine Reading By IdeaReader
13
References
1
Citations
NaN
KQI
[]