Metadata
Author: WikiMatrix
Data
English[en]
A semantics for modal logic was first introduced in the late-1950s work of Saul Kripke and his colleagues.
Finnish[fi]
Mahdollisten maailmojen semantiikasta johdettu systemaattinen teoria syntyi 1950-luvulla Saul Kripken ja hänen työtoveriensa töiden myötä.