@Inproceedings{EPTCS322.6, author = {van Glabbeek, Rob}, year = {2020}, title = {Reactive Temporal Logic}, editor = {Dardha, Ornela and Rot, Jurriaan}, booktitle = {{\rm Proceedings Combined 27th International Workshop on} Expressiveness in Concurrency {\rm and 17th Workshop on} Structural Operational Semantics, {\rm Online, 31 August 2020}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {322}, publisher = {Open Publishing Association}, pages = {51-68}, doi = {10.4204/EPTCS.322.6}, }