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
-
Tokyu Land Corporation and SRI Advance Japan’s “Global Startup Campus” Initiative
Collaboration pairs SRI’s Silicon Valley venture-building expertise with TLC’s Shibuya real estate network to grow Japan’s deep tech startup ecosystem.
-
A new science teaching assistant, powered by AI
SRI’s LOVE Science project integrates education expertise, LLMs, and video to make science relevant and effective for students.
-
SRI’s Self-Cooling Paint earns a spot in WEF’s global tech report
Passive radiative cooling among the world’s most consequential emerging technologies of 2026.