Describes some of his latest work on how modal calculi describe several possible worlds at once, instead of just one; photo, examples.
Category:
Random Site Quote:
John McArthy, creater of Lisp, in an extension of his book on philosophical problems in AI, touched on modal logic
The idea is that modal calculi describe several possible
worlds at once, instead of just one. Statements are not assigned a
single truth-value, but rather a spectum of truth-values,
waiting for hand_moderation
Date Added: Mar 3, 2010 Hits: Rating: 0.00 Votes: 0