Ron van der Meyden (vandermeyden)

Contributions to Philosophie.ch

Bibliography

Engelhardt, Kai, Meyden, Ron van der and Moses, Yoram. 1998. “Knowledge and the Logic of Distributed Propositions.” in TARK 1997. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Seventh Conference, edited by Itzhak Gilboa, pp. 29–41. San Francisco, California: Morgan Kaufmann Publishers.
Engelhardt, Kai, Meyden, Ron van der and Su, K. 2003. “Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers.” in Advances in Modal Logic, volume IV, edited by Philippe Balbiani, Suzuki Nobi-Yuki, Frank Wolter, and Michael Zakharyaschev, pp. 9–30. London: King’s College Publications.
French, Tim, Meyden, Ron van der and Reynolds, Mark A. 2005. “Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States.” in Advances in Modal Logic, volume V, edited by Renate A. Schmidt, Ian Pratt-Hartmann, Mark A. Reynolds, and Heinrich Theodor Wansing, pp. 53–72. London: King’s College Publications.
Halpern, Joseph Y., Meyden, Ron van der and Vardi, Moshe Y. 1997. “Complete axiomatisations for reasoning about knowledge and time.” Unpublished manuscript.
McCarty, L. Thorne and Meyden, Ron van der. 1992. “Reasoning about Indefinite Actions.” in KR’92: Principles of Knowledge Representation and Reasoning, edited by Bernhard Nebel, Charles Rich, and William R. Swartout, pp. 59–70. San Francisco, California: Morgan Kaufmann Publishers.
van der Meyden, Ron. 1994a. “Mutual Belief Revision (Preliminary Report).” in KR’94: Principles of Knowledge Representation and Reasoning, edited by Jon Doyle, Erik Sandewall, and Pietro Torasso, pp. 595–606. San Francisco, California: Morgan Kaufmann Publishers.
van der Meyden, Ron. 1994b. “Axioms for Knowledge andTime in Distributed Systems with Perfect Recall.” in IEEE Proceedings of the 8th Annual IEEE Symposion on Logic in Computer Science. New York: IEEE Computer Science Press.
van der Meyden, Ron. 1994c. “Common Knowledge and Update in Finite Environments. I (Extended Abstract).” in TARK 1994. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Fifth Conference, edited by Ronald Fagin, pp. 225–242. San Francisco, California: Morgan Kaufmann Publishers.
van der Meyden, Ron. 1996. “Knowledge Based Programs: On the Complexity of Perfect Recall in Finite Environments.” in TARK 1996. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Sixth Conference, edited by Yoav Shoham, pp. 31–49. San Francisco, California: Morgan Kaufmann Publishers.
van der Meyden, Ron. 1998a. “Common Knowledge and Update in finite Environments.” Information and Computation 140: 115–157.
van der Meyden, Ron. 1998b. “Logical Approaches to Incomplete Information: A Survey.” in Logics for Databases and Information Systems, edited by Jan Chomicki and Gunter Saake, pp. 307–356. ? ?
van der Meyden, Ron. 2011. “Two Applications of Epistemic Logic in Computer Security.” in Proof, Computation and Agency. Logic at the Crossroads, edited by Johan van Benthem, Amitabha Gupta, and Rohit Parikh, pp. 133–144. Synthese Library n. 352. Dordrecht: Springer.
van der Meyden, Ron and Shilov, Nikolay V. 1999. “Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract).” in Foundations of Software Technology and Theoretical Computer Science. 19th Conference, Chennai, India, December 13-15, 1999, edited by C. Pandu Rangan, T. V. Raman, and Ramaswamy Ramanujam, pp. 432–445. Berlin: Springer.
van der Meyden, Ron and Weng, Ka-Shu. 2003. “Complete Axiomatization for Reasoning about Knowledge and Branching Time.” Studia Logica: An International Journal for Symbolic Logic 75(1): 93–123.