Colin Sterling (sterling-c)

Contributions to Philosophie.ch

Bibliography

Plotkin, Gordon D. and Sterling, Colin. 1986. “A Framework for Intuitionistic Modal Logics.” in TARK 1986. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the First Conference, edited by Joseph Y. Halpern, pp. 399–406. San Francisco, California: Morgan Kaufmann Publishers, http://www.tark.org/proceedings/tark_mar19_86/proceedings.html.