Talks and Poster Presentations (without Proceedings-Entry):
T. Lyon:
"Tense Logics, Structural Proof Theory, and Effective Translations";
Talk: Non-Classical Logics Research Seminar, Mathematics Department, University of Denver (Denver, Colorado USA),
Denver;
2018-10-02.