An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics Nobu-Yuki Suzuki OriginalPaper Pages: 141 - 155
TuringL-machines and recursive computability forL-maps Giangiacomo Gerla OriginalPaper Pages: 179 - 192
A Routley-Meyer affixing style semantics for logics containing Aristotle's Thesis Ross T. Brady OriginalPaper Pages: 235 - 241