1. Linear Temporal Logic LTL: Basis for Admissible Rules;Babenyshev,2011
2. An algebraic study of tense logics with linear time;Bull;The Journal of Symbolic Logic,1968
3. Note on a paper in tense logic;Bull;The Journal of Symbolic Logic,1969
4. Modal Logic;Blackburn,2001
5. A Modal Logic for Indiscernibility and Complementarity in Information Systems;Balbiani;Fundam. Inform.,1902