Problem of Rigid Assignment to Variables in Predicate Modal Logic
Predicate calculus without free variables
Unsolvability in the modal predicate calculus of the class of formulas containing only one monadic predicate variable