Proof Theory
David Lewis was a prominent 20th-century philosopher known for his work in modal logic, metaphysics, and philosophy of language. His contributions include the development of modal realism, which posits that possible worlds are just as real as the actual world, a concept that has significant implications for understanding Kripke frames and models in logic.
congrats on reading the definition of David Lewis. now let's actually learn it.