LQTL

AcronymDefinition
LQTLLean Quaternary Temporal Logic