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
-
Where is AI taking us?
As the co-chair of Stanford’s AI Index Steering Committee, SRI’s Ray Perrault shapes a monumental annual effort to document the global AI ecosystem.
-
Nicole Heidel: Charting the future of photonic chips and quantum hardware
As the director of SRI’s Applied Sciences Laboratory, Heidel leads a team that turns deep science into real-world solutions.
-
The SRI research behind today’s surgical robotics
Intuitive’s da Vinci 5 system represents a major leap in robotic-assisted medicine. It all started at SRI, which continues to advance teleoperation technologies.