Christoph Meyer (meyer-ch)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Ganzinger, Harald, Hustadt, Ullrich, Meyer, Christoph and Schmidt, Renate A. 2000. “A Resolution-Based Decision Procedure for Extensions of K4.” in Advances in Modal Logic, volume II, edited by Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, and Heinrich Theodor Wansing, pp. 243–263. Stanford, California: CSLI Publications.