dmm: (Default)
Dataflow matrix machines (by Anhinga anhinga) ([personal profile] dmm) wrote2022-09-17 11:49 am
Entry tags:

Saul Kripke died

November 13, 1940 – September 15, 2022

He created Kripke semantics, the semantics of "possible worlds"

Post a comment in response:

This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting