Lucid and Intensional Logic

Citation

Israel, D. J. Lucid and Intensional Logic, in Proceedings of the Fifth International Symposium on Lucid and Intensional Programming Languages,, Apr 1992.

Read more from SRI

  • A rendering of the Parker Solar Probe inside the sun's corona.

    Parker Solar Probe: Our closest look at the sun

    SRI imaging technology supports a record-shattering NASA mission.

  • A photo of Mary Wagner

    Recognizing the life and work of Mary Wagner 

    A cherished SRI colleague and globally respected leader in education research, Mary Wagner leaves behind an extraordinary legacy of groundbreaking work supporting children and youth with disabilities and their families.

  • Testing XRGo in a robotics laboratory

    Robots in the cleanroom

    A global health leader is exploring how SRI’s robotic telemanipulation technology can enhance pharmaceutical manufacturing.