Modal logic: Quick Facts

Written and fact-checked by

The Information Architects of Encyclopaedia Britannica

Facts

Also Known As	alethic modal logic

Topics

Possible world S4 Brouwerian system T S5 rule of necessitation Modality Formal logic Logic Applied logic Metalogic set theory fuzzy logic Predicate calculus Propositional calculus Mereology Many-valued logic History of logic Modern logic

Dig Deeper: More Articles That Discuss This Topic

Formal logic: Modal logic