Diese Seite auf DeutschCette page en françaisQuesta pagina in italiano
Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/lichtenstein-o

Orna Lichtenstein (lichtenstein-o)

Contributions to Philosophie.ch

No contributions yet

Bibliography

    Lichtenstein, Orna and Pnuelli, Amir. 2000. “Propositional Temporal Logics: Decidability and Completeness.” Logic Journal of the Interest Group in Pure and Applied Logics (IGPL) 8: 55–85.
    Lichtenstein, Orna, Pnuelli, Amir and Zuck, L. D. 1985. “The Glory of the Past.” in Logics of Programs: Brooklyn, June 17–19, 1985 Proceedings, edited by Rohit Parikh, pp. 196–218. Berlin: Springer.