Kripke style semantic for the logic of two valued-states
scientific article; zbMATH DE number 6834017
scientific article