A theory and its metatheory in FS0, in ``What is a Logical System?'' (Dov Gabbay and Franz (1994)

by S Matthews