Sugestu mallongigon Aldonu tiun artikolon en viaj legosignoj Printu tiun artikolon Serĉu iun mallongigon AkceptejoLTL LTL Kodo Signifo Lingvo Temoj kaj lokoj LTL Linear Temporal Logic En la angla ProgramojMatematiko