Abstract

The original motivation of D. Gabbay’s concept of Fibring concerned the combination of logics, and initially it involved the syntactic introduction of modals into formulations of intuitionistic logic in which modals are syntactically absent. We show, using the notion of structural modals that there are many modals of intuitionism, and logics for subjunctive and epistemic conditionals which are not syntactically evident in our best formulations of them. We discuss some cases when the attempt to make them syntactically evident can have undesirable consequences.