Further Modal Systems

Modal logic studies arguments whose validity depends on “necessary,” “possible,” and similar notions. The previous chapter presented a basic system that builds on propositional logic. This present chapter will consider alternative systems of propositional and quantified modal logic.