A Syntactic Characterization of the Gabbay-de Jongh Logics

Research output: Contribution to ConferencePaperProfessional

Cite this