Syntax and Semantics of Quantified Modal Logic in Kripke's View

Document Type : Original Article

Abstract
Saul kripke has constructed two distinct systems (1959&1963) to interpret Quantified Modal Logic. This article will have a review in syntax and semantics of these systems, and their efficiency to interpret Quantified Modal Logic.

Keywords