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
-
QED-C executive director named to the Quantum 100
Celia Merzbacher, executive director of the SRI-managed Quantum Economic Development Consortium, has been recognized for her role in strengthening the global quantum ecosystem.
-
New engines of technology-driven growth
Leveraging proven lab-to-market expertise, SRI is helping collaborators from Japan to New Jersey strengthen their science and technology ecosystems.
-
Vaalia Health: Causal AI for precision healthcare
With healthcare shifting toward at-home solutions, Vaalia Health is building on SRI’s AI innovations to make sure that efficient care is also effective care.