Tagged LTL
Sup

כתב ויתור