Has good translation of LTL into Büchi automata and also support the linear fragment of PSL.
logic | Logic | Linear B | linear algebra | Programmable logic controller | Linear Algebra | linear | Louis Logic | Transistor–transistor logic | Solid State Logic | Logic Pro | Linear function | Cirrus Logic | Temporal scales | Postmodernism, or, the Cultural Logic of Late Capitalism | Linear Technology | Linear low-density polyethylene | Ladder Logic | Ladder logic | Journal of Symbolic Logic | informal logic | H-Logic | Generalized linear model | fuzzy logic | Formula (mathematical logic) | Burrows-Abadi-Needham logic | Bien Logic | Ω-logic | Valid Logic Systems | Twisted Logic Tour |