Intuitionistic modal logic made explicit

TitleIntuitionistic modal logic made explicit
Publication TypeJournal Article
Year of Publication2016
AuthorsMarti, M, Studer, T
JournalIfCoLog Journal of Logics and their Applications
Volume3
Issue5
Pagination877-901
URLhttp://www.iam.unibe.ch/ltgpub/2016/mast16.pdf