Now showing items 1-1 of 1

    • The Semantics of Modal Predicate Logic I: Counterpart-Frames 

      Kracht, M; Kutz, O (World Scientific, 2002)
      We introduce a new semantics for modal predicate logic, with respect to which a rich class of first-order modal logics is complete, namely all normal first-order modal logics that are extensions of free quantified K. This ...