Alfredo Burrieza, Inman P. de Guzmán:
A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time.
Marcelo Finger:
Handling database updates in two-dimensional temporal logic.
Gerson Zaverucha:
Relevant logic as a basis for paraconsistent epistemic logics.
Chris Brink:
A comment on relevant truth table logic.