Finite Trees in Tense Logic
Relating Quine's NF to Feferman's EM
Bull's Theorem by the Method of Diagrams
Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of ♦-Formulae*
On the Elementarity of Some Classes of Abelian-by-Infinite Groups
Theories of Types and Names with Positive Stratified Comprehension
Paradigms in Measure Theoretic Learning and in Informant Learning
Subdirectly Irreducible Modal Algebras and Initial Frames
Monotone Majorizable Functionals
Marginalia on Sequent Calculi
From Brouwerian Counter Examples to the Creating Subject
Informations for authors