First Order modal logic formalizes individuals across worlds

First-order logic introduces individuals (through constants) with attributes (through predicates) to modal logic. First-order modal logic can be split between the ones with constant domain (same individuals across worlds) and the ones with variable domain (different individuals across worlds).

Backlinks