On an Unsound Proof of the Existence of Possible Worlds.

Christopher Menzel

Published in: Notre Dame J. Formal Log. (1989)

Keyphrases

theorem proving
linear logic
real time
search algorithm
artificial neural networks
virtual environment
theorem prover