Model Logic - Chellas (1980)