LPrL: An Asynchronous Linear Time Hyper Logic

Parasara Sridhar Duggirala, P. S. Thiagarajan

We present a novel asynchronous hyper linear time temporal logic named LPrL (Linear Time Predicate Logic) and establish its basic theory. LPrL is a natural first order extension of…