0230 Basic Modal Logic

Modal logic studies arguments whose validity depends on “possible,” “necessary,” and similar notions. This chapter covers the basics and the next gets into further modal systems.