Matt Fairtlough, Michael Mendler. An Intuitionistic Modal Logic with Applications to the Formal Verification of Hardware. In Leszek Pacholski, Jerzy Tiuryn, editors, Computer Science Logic, 8th International Workshop, CSL 94, Kazimierz, Poland, September 25-30, 1994, Selected Papers. Volume 933 of Lecture Notes in Computer Science, pages 354-368, Springer, 1994.
@inproceedings{FairtloughM94,
title = {An Intuitionistic Modal Logic with Applications to the Formal Verification of Hardware},
author = {Matt Fairtlough and Michael Mendler},
year = {1994},
tags = {modal logic, logic},
researchr = {https://researchr.org/publication/FairtloughM94},
cites = {0},
citedby = {0},
pages = {354-368},
booktitle = {Computer Science Logic, 8th International Workshop, CSL 94, Kazimierz, Poland, September 25-30, 1994, Selected Papers},
editor = {Leszek Pacholski and Jerzy Tiuryn},
volume = {933},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-60017-5},
}