Chris Brink A comment on relevant truth table logic. [Citation Graph (0, 0)][DBLP] Journal of Applied Non-Classical Logics, 1992, v:2, n:2, pp:- [Journal]
Alfredo Burrieza, Inman P. de Guzmán A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time. [Citation Graph (0, 0)][DBLP] Journal of Applied Non-Classical Logics, 1992, v:2, n:2, pp:- [Journal]
Stephan Merz Decidability and incompleteness results for first-order temporal logics of linear time. [Citation Graph (0, 0)][DBLP] Journal of Applied Non-Classical Logics, 1992, v:2, n:2, pp:- [Journal]