A model-theoretic semantics for modal logic.
John J. Paulos · Notre Dame Journal of Formal Logic · 1976
This paper will deal with the semantics of modal logic in a modeltheoretic way.This semantics is clearer than the standard accounts and furthermore will lend itself to further development.From it will flow all the completeness results of modal logic along with a few new results.The paper will presuppose some familiarity with modal logic and model theory.