The Barcan Formula and its converse (Marcus 1946) can be taken as axioms for a quantified modal logic that straightforwardly combines first-order quantification and the modal logic S5. (BF) ??xFx ? ?x...
Between 1993 and 1996 we operated on 50 children with one of the following surgical indications: 17 children with a complication of acute rhinosinusitis and the propagation of the process towards the ...