A Syntactic Characterization of the Gabbay-de Jongh Logics

Jeroen P. Goudsmit. A Syntactic Characterization of the Gabbay-de Jongh Logics. In Nikolaos Galatos, Alexander Kurz, Constantine Tsinakis, editors, TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28 - August 1, 2013. Volume 25 of EPiC Series, pages 82-84, EasyChair, 2013. [doi]

Abstract

Abstract is missing.