Definition
Alethic logic is a specific type of modal logic. 🤓 It deals with the modes of necessity, possibility, impossibility, and contingency. While modal logic is broad, alethic logic zooms in on these specific modalities of truth. It focuses on what *must* be true, what *can* be true, and what *cannot* be true. Think of it like a specialized toolkit for analyzing truth. It's used in philosophy to explore the nature of reality. It's a subset of modal logic.