George Gargov

Learn More
The common form of a mathematical theorem consists in that "the truth of some properties for some objects is necessary andlor sufficient condition for other properties to hold for other objects". To formalize this, one happens to resort to Kripke modal logic K which, having in the syntax the notions of 'property' and 'necessity', appears to provide a(More)
  • 1