|Summary||Modal logic's premise, which has been disputed, is that "it is possible that" and other related natural language words and phrases express logical concepts, as do the words "and", "or", and "not". Modal logic is then the study of this set of related concepts. In its modern form, this work was initiated axiomatically by C.I.Lewis and continued model-theoretically by Saul Kripke and others.|
|Key works||C. I. Lewis's axiomatic approach was set out in Symbolic Logic (1932), co-authored with C.H. Langford (Lewis 1959). Kripke's model-theoretic work began with Kripke 1963.|
|Introductions||Blackburn et al 2007; Cocchiarella & Freund 2008; Fitting unknown; Hughes & Cresswell 1996 (highly recommended); Lemmon 1977|
- Intensional Modal Logic (17)
- Provability Logic (8)
- Quantified Modal Logic (76)
- Semantics for Modal Logic (117)
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers