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
-
Ashish Gehani named 2025 SRI Fellow
Senior principal computer scientist recognized for contributions in cybersecurity and trustworthy systems.
-
Major NIH study helps families manage sleep and screentime
SRI Fellow Fiona Baker: Longitudinal research like the SRI-supported ABCD study is crucial for understanding how modern life shapes developing brains.
-
SRI and Global Innovation Labs deliver deep tech solutions to regional markets
The strategic partnership represents the next-gen approach to bridging science with rapid go-to-market strategies.