Christopher Geissler (geissler-c)

Contributions à Philosophie.ch

Bibliography

Geissler, Christopher and Konolige, Kurt. 1986. “A Resolution Method for Quantified Modal Logics of Knowledge and Belief.” in TARK 1986. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the First Conference, edited by Joseph Y. Halpern, pp. 309–324. San Francisco, California: Morgan Kaufmann Publishers, http://www.tark.org/proceedings/tark_mar19_86/proceedings.html.