Quick links
1240 Social Sciences and Humanities
University of California, Davis
One Shields Avenue
Davis, CA 95616
Phone: (530) 752-0607
Fax: (530) 752-8964
Ruth Barcan Marcus
Recent News
- No news.
This page contains links to on-line resources for the study of modal logic.
- Aristotle, On Interpretation, Chapters 12-13
- Aldo Antonelli's Classical Correspondence Theory for Basic Modal Logic
- Peter Suber’s “A Bibliography of Non-Standard Logics”
- John Halleck’s “Logic System Interrelationships”
- Stanford Encyclopedia of Philosophy entry, “Modal Logic”
- Carnegie Mellon University, Modal Logic, course given by Frank Pfenning and Andrée Platzer
- MIT Open Courseware, Modal Logic, course given by Steven Yablo
- University of Massachusetts, Modal Logic, course given by Kevin Klement
- Modal Logic, by J. Jay Zeman (in Polish notation)
- Ross Kirsling’s Modal Logic Playground (checks truth at worlds in models you construct)