1. Checkout Test language.
2. Compiler Target Language.
3. Computational Tree Logic
Try this search on Wikipedia, OneLook, Google