First-order intensional logic (Q598308)

Several approaches to first-order modal logic are referred to, in particular to D. Lewis' counterpart and multiple counterpart models. The author presents first-order intensional logic with object variables and intensional variables (where intensions are construed as usually, i.e., as functions from possible worlds). The syntactic part is represented by tableaux using prefixes (which indicate possible worlds). A completeness proof is suggested.