Counterpart Semantics for Quantified Modal Logic

  title={Counterpart Semantics for Quantified Modal Logic},
  author={Francesco Belardinelli},
In this paper we deal with the semantics for quantified modal logic, QML in short, and their philosophical relevance. In the first part we introduce Kripke semantics for the first-order modal language L= with identity, then we consider some unsatisfactory features of this account from an actualist point of view. In addition, we show that the calculus QE .K… CONTINUE READING