{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T05:22:10Z","timestamp":1776316930758,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T00:00:00Z","timestamp":1659398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["432788559"],"award-info":[{"award-number":["432788559"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Deutsche Forschungsgemeinschaft","award":["247444366"],"award-info":[{"award-number":["247444366"]}]},{"name":"Deutsche Forschungsgemeinschaft","award":["436811065"],"award-info":[{"award-number":["436811065"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,8,2]]},"DOI":"10.1145\/3531130.3533360","type":"proceedings-article","created":{"date-parts":[[2022,8,4]],"date-time":"2022-08-04T20:23:38Z","timestamp":1659644618000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Temporal Team Semantics Revisited"],"prefix":"10.1145","author":[{"given":"Jens Oliver","family":"Gutsfeld","sequence":"first","affiliation":[{"name":"Institut f\u00fcr Informatik, Westf\u00e4lische Wilhelms-Universit\u00e4t M\u00fcnster, Germany"}]},{"given":"Arne","family":"Meier","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Theoretische Informatik, Leibniz Universit\u00e4t Hannover, Germany"}]},{"given":"Christoph","family":"Ohrem","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Informatik, Westf\u00e4lische Wilhelms-Universit\u00e4t M\u00fcnster, Germany"}]},{"given":"Jonni","family":"Virtema","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Sheffield, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2022,8,4]]},"reference":[{"key":"#cr-split#-e_1_3_2_1_1_1.1","doi-asserted-by":"crossref","unstructured":"Samson Abramsky Juha Kontinen Jouko V\u00e4\u00e4n\u00e4nen and Heribert Vollmer (Eds.). 2016. Dependence Logic Theory and Applications. Springer. https:\/\/doi.org\/10.1007\/978-3-319-31803-5 10.1007\/978-3-319-31803-5","DOI":"10.1007\/978-3-319-31803-5"},{"key":"#cr-split#-e_1_3_2_1_1_1.2","doi-asserted-by":"crossref","unstructured":"Samson Abramsky Juha Kontinen Jouko V\u00e4\u00e4n\u00e4nen and Heribert Vollmer (Eds.). 2016. Dependence Logic Theory and Applications. Springer. https:\/\/doi.org\/10.1007\/978-3-319-31803-5","DOI":"10.1007\/978-3-319-31803-5"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/174644.174651"},{"key":"e_1_3_2_1_3_1","volume-title":"CAV (1)(Lecture Notes in Computer Science, Vol.\u00a012759)","author":"Baumeister Jan","unstructured":"Jan Baumeister , Norine Coenen , Borzoo Bonakdarpour , Bernd Finkbeiner , and C\u00e9sar S\u00e1nchez . 2021. A Temporal Logic for Asynchronous Hyperproperties . In CAV (1)(Lecture Notes in Computer Science, Vol.\u00a012759) . Springer , 694\u2013717. Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, and C\u00e9sar S\u00e1nchez. 2021. A Temporal Logic for Asynchronous Hyperproperties. In CAV (1)(Lecture Notes in Computer Science, Vol.\u00a012759). Springer, 694\u2013717."},{"key":"e_1_3_2_1_4_1","volume-title":"32nd International Conference on Concurrency Theory, CONCUR 2021, August 24-27, 2021, Virtual Conference(LIPIcs, Vol.\u00a0203)","author":"Beutner Raven","year":"2021","unstructured":"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.\u00a0203) , Serge Haddad and Daniele Varacca (Eds.). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 24:1\u201324:19. https:\/\/doi.org\/10.4230\/LIPIcs.CONCUR. 2021.24 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.\u00a0203), Serge Haddad and Daniele Varacca (Eds.). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 24:1\u201324:19. https:\/\/doi.org\/10.4230\/LIPIcs.CONCUR.2021.24"},{"key":"e_1_3_2_1_5_1","volume-title":"NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings(Lecture Notes in Computer Science, Vol.\u00a012229)","author":"Bonakdarpour Borzoo","year":"2020","unstructured":"Borzoo Bonakdarpour , Pavithra Prabhakar , and C\u00e9sar S\u00e1nchez . 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.\u00a012229) , Ritchie Lee, Susmit Jha, and Anastasia Mavridou (Eds.). Springer, 311\u2013328. https:\/\/doi.org\/10.1007\/978-3-030-55754-6_18 10.1007\/978-3-030-55754-6_18 Borzoo Bonakdarpour, Pavithra Prabhakar, and C\u00e9sar S\u00e1nchez. 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.\u00a012229), Ritchie Lee, Susmit Jha, and Anastasia Mavridou (Eds.). Springer, 311\u2013328. https:\/\/doi.org\/10.1007\/978-3-030-55754-6_18"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46678-0_11"},{"key":"e_1_3_2_1_7_1","volume-title":"Asynchronous Extensions of HyperLTL. In 36th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2021","author":"Bozzelli Laura","year":"2021","unstructured":"Laura Bozzelli , Adriano Peron , and C\u00e9sar S\u00e1nchez . 2021 . Asynchronous Extensions of HyperLTL. In 36th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2021 , Rome, Italy, June 29 - July 2, 2021. IEEE, 1\u201313. https:\/\/doi.org\/10.1109\/LICS52264.2021.9470583 10.1109\/LICS52264.2021.9470583 Laura Bozzelli, Adriano Peron, and C\u00e9sar S\u00e1nchez. 2021. Asynchronous Extensions of HyperLTL. In 36th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021. IEEE, 1\u201313. https:\/\/doi.org\/10.1109\/LICS52264.2021.9470583"},{"key":"e_1_3_2_1_8_1","volume-title":"Model checking","author":"Clarke M.","unstructured":"Edmund\u00a0 M. Clarke , Orna Grumberg , and Doron\u00a0 A. Peled . 2001. Model checking . MIT Press . Edmund\u00a0M. Clarke, Orna Grumberg, and Doron\u00a0A. Peled. 2001. Model checking. MIT Press."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54792-8_15"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1891823.1891830"},{"key":"e_1_3_2_1_11_1","volume-title":"The Hierarchy of Hyperlogics. In 34th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2019","author":"Coenen Norine","year":"2019","unstructured":"Norine Coenen , Bernd Finkbeiner , Christopher Hahn , and Jana Hofmann . 2019 . The Hierarchy of Hyperlogics. In 34th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2019 , Vancouver, BC, Canada , June 24-27, 2019. IEEE, 1\u201313. https:\/\/doi.org\/10.1109\/LICS.2019.8785713 10.1109\/LICS.2019.8785713 Norine Coenen, Bernd Finkbeiner, Christopher Hahn, and Jana Hofmann. 2019. The Hierarchy of Hyperlogics. In 34th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019. IEEE, 1\u201313. https:\/\/doi.org\/10.1109\/LICS.2019.8785713"},{"key":"e_1_3_2_1_12_1","volume-title":"Temporal Logics in Computer Science: Finite-State Systems","author":"Demri St\u00e9phane","unstructured":"St\u00e9phane Demri , Valentin Goranko , and Martin Lange . 2016. Temporal Logics in Computer Science: Finite-State Systems . Cambridge University Press . https:\/\/doi.org\/10.1017\/CBO9781139236119 10.1017\/CBO9781139236119 St\u00e9phane Demri, Valentin Goranko, and Martin Lange. 2016. Temporal Logics in Computer Science: Finite-State Systems. Cambridge University Press. https:\/\/doi.org\/10.1017\/CBO9781139236119"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-017-9568-4"},{"key":"e_1_3_2_1_14_1","volume-title":"CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I(Lecture Notes in Computer Science, Vol.\u00a09206)","author":"Finkbeiner Bernd","year":"2015","unstructured":"Bernd Finkbeiner , Markus\u00a0 N. Rabe , and C\u00e9sar S\u00e1nchez . 2015 . Algorithms for Model Checking HyperLTL and HyperCTL*. In Computer Aided Verification - 27th International Conference , CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I(Lecture Notes in Computer Science, Vol.\u00a09206) , Daniel Kroening and Corina\u00a0S. Pasareanu (Eds.). Springer, 30\u201348. https:\/\/doi.org\/10.1007\/978-3-319-21690-4_3 10.1007\/978-3-319-21690-4_3 Bernd Finkbeiner, Markus\u00a0N. Rabe, and C\u00e9sar S\u00e1nchez. 2015. Algorithms for Model Checking HyperLTL and HyperCTL*. In Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I(Lecture Notes in Computer Science, Vol.\u00a09206), Daniel Kroening and Corina\u00a0S. Pasareanu (Eds.). Springer, 30\u201348. https:\/\/doi.org\/10.1007\/978-3-319-21690-4_3"},{"key":"e_1_3_2_1_15_1","volume-title":"The First-Order Logic of Hyperproperties. In 34th Symposium on Theoretical Aspects of Computer Science, STACS 2017","author":"Finkbeiner Bernd","year":"2017","unstructured":"Bernd Finkbeiner and Martin Zimmermann . 2017 . The First-Order Logic of Hyperproperties. In 34th Symposium on Theoretical Aspects of Computer Science, STACS 2017 , March 8-11, 2017, Hannover, Germany(LIPIcs, Vol.\u00a066), Heribert Vollmer and Brigitte Vall\u00e9e (Eds.). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 30:1\u201330:14. https:\/\/doi.org\/10.4230\/LIPIcs.STACS. 2017.30 10.4230\/LIPIcs.STACS.2017.30 Bernd Finkbeiner and Martin Zimmermann. 2017. The First-Order Logic of Hyperproperties. In 34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany(LIPIcs, Vol.\u00a066), Heribert Vollmer and Brigitte Vall\u00e9e (Eds.). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 30:1\u201330:14. https:\/\/doi.org\/10.4230\/LIPIcs.STACS.2017.30"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3487579"},{"key":"e_1_3_2_1_17_1","first-page":"28","article-title":"Logics for Dependence and Independence (Dagstuhl Seminar 19031)","volume":"9","author":"Gr\u00e4del Erich","year":"2019","unstructured":"Erich Gr\u00e4del , Phokion\u00a0 G. Kolaitis , Juha Kontinen , and Heribert Vollmer . 2019 . Logics for Dependence and Independence (Dagstuhl Seminar 19031) . Dagstuhl Reports 9 , 1 (2019), 28 \u2013 46 . https:\/\/doi.org\/10.4230\/DagRep.9.1.28 10.4230\/DagRep.9.1.28 Erich Gr\u00e4del, Phokion\u00a0G. Kolaitis, Juha Kontinen, and Heribert Vollmer. 2019. Logics for Dependence and Independence (Dagstuhl Seminar 19031). Dagstuhl Reports 9, 1 (2019), 28\u201346. https:\/\/doi.org\/10.4230\/DagRep.9.1.28","journal-title":"Dagstuhl Reports"},{"key":"e_1_3_2_1_18_1","unstructured":"Jens\u00a0Oliver Gutsfeld Arne Meier Christoph Ohrem and Jonni Virtema. 2021. Temporal Team Semantics Revisited. CoRR abs\/2110.12699(2021). arXiv:2110.12699https:\/\/arxiv.org\/abs\/2110.12699  Jens\u00a0Oliver Gutsfeld Arne Meier Christoph Ohrem and Jonni Virtema. 2021. Temporal Team Semantics Revisited. CoRR abs\/2110.12699(2021). arXiv:2110.12699https:\/\/arxiv.org\/abs\/2110.12699"},{"key":"e_1_3_2_1_19_1","volume-title":"Propositional Dynamic Logic for Hyperproperties. In 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference)(LIPIcs, Vol.\u00a0171)","author":"Gutsfeld Jens\u00a0Oliver","year":"2020","unstructured":"Jens\u00a0Oliver Gutsfeld , Markus M\u00fcller-Olm , and Christoph Ohrem . 2020 . Propositional Dynamic Logic for Hyperproperties. In 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference)(LIPIcs, Vol.\u00a0171) , Igor Konnov and Laura Kov\u00e1cs (Eds.). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 50:1\u201350:22. https:\/\/doi.org\/10.4230\/LIPIcs.CONCUR. 2020.50 10.4230\/LIPIcs.CONCUR.2020.50 Jens\u00a0Oliver Gutsfeld, Markus M\u00fcller-Olm, and Christoph Ohrem. 2020. Propositional Dynamic Logic for Hyperproperties. In 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference)(LIPIcs, Vol.\u00a0171), Igor Konnov and Laura Kov\u00e1cs (Eds.). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 50:1\u201350:22. https:\/\/doi.org\/10.4230\/LIPIcs.CONCUR.2020.50"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3434319"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373718.3394773"},{"key":"e_1_3_2_1_22_1","volume-title":"JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings(Lecture Notes in Computer Science, Vol.\u00a012678)","author":"Hannula Miika","year":"2021","unstructured":"Miika Hannula and Jonni Virtema . 2021 . Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic over the Reals. In Logics in Artificial Intelligence - 17th European Conference , JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings(Lecture Notes in Computer Science, Vol.\u00a012678) , Wolfgang Faber, Gerhard Friedrich, Martin Gebser, and Michael Morak (Eds.). Springer, 262\u2013278. https:\/\/doi.org\/10.1007\/978-3-030-75775-5_18 10.1007\/978-3-030-75775-5_18 Miika Hannula and Jonni Virtema. 2021. Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic over the Reals. In Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings(Lecture Notes in Computer Science, Vol.\u00a012678), Wolfgang Faber, Gerhard Friedrich, Martin Gebser, and Michael Morak (Eds.). Springer, 262\u2013278. https:\/\/doi.org\/10.1007\/978-3-030-75775-5_18"},{"key":"e_1_3_2_1_23_1","series-title":"Lecture Notes in Computer Science, Vol.\u00a01261","volume-title":"Structures in Logic and Computer Science, J.\u00a0Mycielski, G.\u00a0Rozenberg, and A.\u00a0Salomaa (Eds.)","author":"Hodges Wilfrid","unstructured":"Wilfrid Hodges . 1997. Some strange quantifiers . In Structures in Logic and Computer Science, J.\u00a0Mycielski, G.\u00a0Rozenberg, and A.\u00a0Salomaa (Eds.) . Lecture Notes in Computer Science, Vol.\u00a01261 . Springer Berlin \/ Heidelberg , 51\u201365. Wilfrid Hodges. 1997. Some strange quantifiers. In Structures in Logic and Computer Science, J.\u00a0Mycielski, G.\u00a0Rozenberg, and A.\u00a0Salomaa (Eds.). Lecture Notes in Computer Science, Vol.\u00a01261. Springer Berlin \/ Heidelberg, 51\u201365."},{"key":"e_1_3_2_1_24_1","volume-title":"WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings(Lecture Notes in Computer Science, Vol.\u00a013038)","author":"Kontinen Juha","year":"2021","unstructured":"Juha Kontinen and Max Sandstr\u00f6m . 2021 . On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties. In Logic, Language, Information, and Computation - 27th International Workshop , WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings(Lecture Notes in Computer Science, Vol.\u00a013038) , Alexandra Silva, Renata Wassermann, and Ruy J. G.\u00a0B. de\u00a0Queiroz (Eds.). Springer, 302\u2013318. https:\/\/doi.org\/10.1007\/978-3-030-88853-4_19 10.1007\/978-3-030-88853-4_19 Juha Kontinen and Max Sandstr\u00f6m. 2021. On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties. In Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings(Lecture Notes in Computer Science, Vol.\u00a013038), Alexandra Silva, Renata Wassermann, and Ruy J. G.\u00a0B. de\u00a0Queiroz (Eds.). Springer, 302\u2013318. https:\/\/doi.org\/10.1007\/978-3-030-88853-4_19"},{"key":"e_1_3_2_1_25_1","volume-title":"A Team Based Variant of CTL","author":"Krebs Andreas","unstructured":"Andreas Krebs , Arne Meier , and Jonni Virtema . 2015. A Team Based Variant of CTL . In TIME. IEEE Computer Society , 140\u2013149. Andreas Krebs, Arne Meier, and Jonni Virtema. 2015. A Team Based Variant of CTL. In TIME. IEEE Computer Society, 140\u2013149."},{"key":"#cr-split#-e_1_3_2_1_26_1.1","unstructured":"Andreas Krebs Arne Meier Jonni Virtema and Martin Zimmermann. 2018. Team Semantics for the Specification and Verification of Hyperproperties. In 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018)(Leibniz International Proceedings in Informatics (LIPIcs) Vol.\u00a0117) Igor Potapov Paul Spirakis and James Worrell (Eds.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik Dagstuhl Germany 10:1-10:16. https:\/\/doi.org\/10.4230\/LIPIcs.MFCS.2018.10 10.4230\/LIPIcs.MFCS.2018.10"},{"key":"#cr-split#-e_1_3_2_1_26_1.2","unstructured":"Andreas Krebs Arne Meier Jonni Virtema and Martin Zimmermann. 2018. Team Semantics for the Specification and Verification of Hyperproperties. In 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018)(Leibniz International Proceedings in Informatics (LIPIcs) Vol.\u00a0117) Igor Potapov Paul Spirakis and James Worrell (Eds.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik Dagstuhl Germany 10:1-10:16. https:\/\/doi.org\/10.4230\/LIPIcs.MFCS.2018.10"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2020.04.019"},{"key":"e_1_3_2_1_28_1","volume-title":"Computational complexity","author":"Papadimitriou H.","unstructured":"Christos\u00a0 H. Papadimitriou . 2007. Computational complexity . Academic Internet Publ . Christos\u00a0H. Papadimitriou. 2007. Computational complexity. Academic Internet Publ."},{"key":"e_1_3_2_1_29_1","volume-title":"Theories of computability","author":"Pippenger Nicholas","unstructured":"Nicholas Pippenger . 1997. Theories of computability . Cambridge University Press . Nicholas Pippenger. 1997. Theories of computability. Cambridge University Press."},{"key":"e_1_3_2_1_30_1","volume-title":"Handbook of Model Checking, Edmund\u00a0M","author":"Piterman Nir","unstructured":"Nir Piterman and Amir Pnueli . 2018. Temporal Logic and Fair Discrete Systems . In Handbook of Model Checking, Edmund\u00a0M . Clarke, Thomas\u00a0A. Henzinger, Helmut Veith, and Roderick Bloem (Eds.). Springer , 27\u201373. https:\/\/doi.org\/10.1007\/978-3-319-10575-8_2 10.1007\/978-3-319-10575-8_2 Nir Piterman and Amir Pnueli. 2018. Temporal Logic and Fair Discrete Systems. In Handbook of Model Checking, Edmund\u00a0M. Clarke, Thomas\u00a0A. Henzinger, Helmut Veith, and Roderick Bloem (Eds.). Springer, 27\u201373. https:\/\/doi.org\/10.1007\/978-3-319-10575-8_2"},{"key":"e_1_3_2_1_31_1","volume-title":"A temporal logic approach to Information-flow control. Ph.\u00a0D. Dissertation","author":"Rabe N.","year":"2016","unstructured":"Markus\u00a0 N. Rabe . 2016. A temporal logic approach to Information-flow control. Ph.\u00a0D. Dissertation . Saarland University . http:\/\/scidok.sulb.uni-saarland.de\/volltexte\/ 2016 \/6387\/ Markus\u00a0N. Rabe. 2016. A temporal logic approach to Information-flow control. Ph.\u00a0D. Dissertation. Saarland University. http:\/\/scidok.sulb.uni-saarland.de\/volltexte\/2016\/6387\/"},{"key":"e_1_3_2_1_32_1","volume-title":"Dependence Logic - A New Approach to Independence Friendly Logic","author":"V\u00e4\u00e4n\u00e4nen A.","unstructured":"Jouko\u00a0 A. V\u00e4\u00e4n\u00e4nen . 2007. Dependence Logic - A New Approach to Independence Friendly Logic . London Mathematical Society student texts, Vol.\u00a070. Cambridge University Press . http:\/\/www.cambridge.org\/de\/knowledge\/isbn\/item1164246\/?site_locale=de_DE Jouko\u00a0A. V\u00e4\u00e4n\u00e4nen. 2007. Dependence Logic - A New Approach to Independence Friendly Logic. London Mathematical Society student texts, Vol.\u00a070. Cambridge University Press. http:\/\/www.cambridge.org\/de\/knowledge\/isbn\/item1164246\/?site_locale=de_DE"},{"key":"e_1_3_2_1_33_1","volume-title":"41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS","author":"Virtema Jonni","year":"2021","unstructured":"Jonni Virtema , Jana Hofmann , Bernd Finkbeiner , Juha Kontinen , and Fan Yang . 2021. Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity . In 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2021 , December 15-17, 2021, Virtual Conference(LIPIcs, Vol .\u00a0213), Mikolaj Bojanczyk and Chandra Chekuri (Eds.). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik , 52:1\u201352:17. https:\/\/doi.org\/10.4230\/LIPIcs.FSTTCS.2021.52 10.4230\/LIPIcs.FSTTCS.2021.52 Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, and Fan Yang. 2021. Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity. In 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2021, December 15-17, 2021, Virtual Conference(LIPIcs, Vol.\u00a0213), Mikolaj Bojanczyk and Chandra Chekuri (Eds.). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 52:1\u201352:17. https:\/\/doi.org\/10.4230\/LIPIcs.FSTTCS.2021.52"}],"event":{"name":"LICS '22: 37th Annual ACM\/IEEE Symposium on Logic in Computer Science","location":"Haifa Israel","acronym":"LICS '22","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation"]},"container-title":["Proceedings of the 37th Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3531130.3533360","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3531130.3533360","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:02:10Z","timestamp":1750186930000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3531130.3533360"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8,2]]},"references-count":35,"alternative-id":["10.1145\/3531130.3533360","10.1145\/3531130"],"URL":"https:\/\/doi.org\/10.1145\/3531130.3533360","relation":{},"subject":[],"published":{"date-parts":[[2022,8,2]]},"assertion":[{"value":"2022-08-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}