M. van der Hulst (vanderhulst-m)

Contributions to Philosophie.ch

Bibliography

Hulst, M. van der and Meyer, John-Jules Ch. 1994. “An Epistemic Proof System for Parallel Processes.” in TARK 1994. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Fifth Conference, edited by Ronald Fagin, pp. 243–254. San Francisco, California: Morgan Kaufmann Publishers.