branching-time temporal logic

all-purposs instrument barge-carrying ship catawissa creek close ... eyes craniosaeral autonomic nervous system dorffs electronic countermeasure (ecm) environmental health information eoposition healing stone industrial logic-sequence controller jet helicopter rotor moist heat sterilization MONOBAS nodosas nonattenuative RVAW saccharine vegetable sorehead submonitions