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

• Kripke
• Quantified Modal Logic
• syntax
• Semantics