Ross T. Brady

Learn More
Here is a familiar history: modal logics (see [13]) were around for some time before a semantic framework was found for them (by Kripke and others).1 This framework did at least two Very Good Things for modal logics: 1) it connected the powerful mathematical tools of model theory to these logics, allowing a variety of technical results to be proven, and 2)(More)
which corresponds in LR, to the axiom (W) of R, would, in an attempted decision procedure based on LR, , produce unbounded multiplicities of the above structures a. It then seemed likely that the system R without the axiom (W), called now RW, would be decidable. Giambrone, in [8], has shown, by using Dunn’s Gentzenization LR, without (WI t) (thus yielding(More)