Cookies helfen uns bei der Bereitstellung unserer Dienste. Durch die Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir Cookies setzen.
Degtyarev, Anatoli, Fisher, Michael E. and Lisitsa, Alexei. 2003. “Equality and Monadic First-Order Temporal Logic.”Studia Logica: An International Journal for Symbolic Logic 72(2): 147–156.