Citation
Israel, D. J. Lucid and Intensional Logic, in Proceedings of the Fifth International Symposium on Lucid and Intensional Programming Languages,, Apr 1992.
Lucid and Intensional Logic
Read more from SRI
-
PARC Forum: The future of defense technologies
Silicon Valley is paying close attention to the defense sector. SRI convened a conversation exploring new opportunities to advance security through innovation.
-
Cale Gentry: Steering light, tracking lasers, and going quantum
Gentry explores how SRI research is pushing the envelope of photonics, optics, and quantum technologies.
-
Raising young children alongside companion AIs: Are we ready for the consequences?
SRI’s Todd Grindal makes the case for putting child development science at the center of AI design.