On Łukasiewicz's Four-Valued Modal Logic
A Proof of Standard Completeness for Esteva and Godo's Logic MTL
Refutations, Proofs, and Models in the Modal Logic K4
Loosely Guarded Fragment of First-Order Logic has the Finite Model Property
Connection Tableau Calculi with Disjunctive Constraints
Coherence in Substructural Categories
Recursive Functions and Metamathematics
The Unknowable