1. Samson Abramsky Juha Kontinen Jouko Väänänen and Heribert Vollmer (Eds.). 2016. Dependence Logic Theory and Applications. Springer. https://doi.org/10.1007/978-3-319-31803-5 Samson Abramsky Juha Kontinen Jouko Väänänen and Heribert Vollmer (Eds.). 2016. Dependence Logic Theory and Applications. Springer. https://doi.org/10.1007/978-3-319-31803-5
2. A really temporal logic
3. Jan Baumeister , Norine Coenen , Borzoo Bonakdarpour , Bernd Finkbeiner , and César Sánchez . 2021. A Temporal Logic for Asynchronous Hyperproperties . In CAV (1)(Lecture Notes in Computer Science, Vol. 12759) . Springer , 694–717. Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, and César Sánchez. 2021. A Temporal Logic for Asynchronous Hyperproperties. In CAV (1)(Lecture Notes in Computer Science, Vol. 12759). Springer, 694–717.
4. Raven Beutner and Bernd Finkbeiner . 2021 . A Temporal Logic for Strategic Hyperproperties . In 32nd International Conference on Concurrency Theory, CONCUR 2021, August 24-27, 2021, Virtual Conference(LIPIcs, Vol. 203) , Serge Haddad and Daniele Varacca (Eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 24:1–24:19. https://doi.org/10.4230/LIPIcs.CONCUR. 2021.24 Raven Beutner and Bernd Finkbeiner. 2021. A Temporal Logic for Strategic Hyperproperties. In 32nd International Conference on Concurrency Theory, CONCUR 2021, August 24-27, 2021, Virtual Conference(LIPIcs, Vol. 203), Serge Haddad and Daniele Varacca (Eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 24:1–24:19. https://doi.org/10.4230/LIPIcs.CONCUR.2021.24
5. Borzoo Bonakdarpour , Pavithra Prabhakar , and César Sánchez . 2020 . Model Checking Timed Hyperproperties in Discrete-Time Systems. In NASA Formal Methods - 12th International Symposium , NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings(Lecture Notes in Computer Science, Vol. 12229) , Ritchie Lee, Susmit Jha, and Anastasia Mavridou (Eds.). Springer, 311–328. https://doi.org/10.1007/978-3-030-55754-6_18 Borzoo Bonakdarpour, Pavithra Prabhakar, and César Sánchez. 2020. Model Checking Timed Hyperproperties in Discrete-Time Systems. In NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings(Lecture Notes in Computer Science, Vol. 12229), Ritchie Lee, Susmit Jha, and Anastasia Mavridou (Eds.). Springer, 311–328. https://doi.org/10.1007/978-3-030-55754-6_18