Changes related to "Situation calculus"
This is a list of recent changes to pages linked from a specified page (or to members of a specified category). Changes to pages on your watchlist are shown with a green bullet.
25 December 2014
- (diff | hist) . . Truth value; 14:06 . . (+34) . . Francvs (→Classical logic: Cross-reference.)
21 December 2014
- (diff | hist) . . Logic; 17:19 . . (+23) . . SoSivr (→See also: added content) (Tags: Mobile edit, Mobile web edit)
20 December 2014
- (diff | hist) . . m Artificial intelligence; 21:19 . . (+21) . . RHodnett (→In fiction: Italicized titles of a play and a movie. Linked to article about HAL 9000, the computer in "2001: A Space Odyssey".)