Carsten Grefe (grefe)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Grefe, Carsten. 1998. “Fischer Servi’s Intuitionistic Modal Logic Has the Finite Model Property.” in Advances in Modal Logic, volume I, edited by Marcus Kracht, Maarten de Rijke, and Heinrich Theodor Wansing, pp. 85–98. Stanford, California: CSLI Publications.