The only way I could think of doing this is to show that p → □p with the K axioms would imply a contradiction, but I don't think that's true. Not sure how to get started on this. Do I just have to construct a possible countermodel?
Philosophy Stack Exchange is a question and answer site for those interested in the study of the fundamental nature of knowledge, reality, and existence. It only takes a minute to sign up.Sign up to join this community