zbMath1452.03031MaRDI QIDQ5144643
P. Bähr, Rasmus Ejlers Møgelberg, Hans Bugge Grathwohl
Publication date: 19 January 2021
Full work available at URL: http://dl.acm.org/citation.cfm?id=3330032
Mathematics Subject Classification ID
03B44: Temporal logic
03B38: Type theory