Benjamin G. Rin

  • Citations Per Year
Learn More
We show that the actuality operator A is redundant in any propositional modal logic characterized by a class of Kripke models (respectively, neighborhood models). Specifically, we prove that for every formula φ in the propositional modal language with A, there is a formula ψ not containing A such that φ and ψ are materially equivalent at the actual world in(More)
A semantics for quantified modal logic is presented that is based on Kleene's notion of realizability. This semantics generalizes Flagg's 1985 construction of a model of a modal version of Church's Thesis and first-order arithmetic. While the bulk of the paper is devoted to developing the details of the semantics, to illustrate the scope of this approach,(More)
  • 1