Old Foundations for the Logic of Agency and Action
Obligation and the Conditional in Stit Theory
Affine Spaces over GF(3)
Transfers between Logics and their Applications
A Predicate Logical Extension of a Subintuitionistic Propositional Logic
Interpreting First-order Theories into a Logic of Records
Metamathematics of Fuzzy Logic