Category:Modal Logic

From ProofWiki
Jump to navigation Jump to search

This category contains results about Modal Logic.
Definitions specific to this category can be found in Definitions/Modal Logic.


Modal logic is a branch of logic in which truth values are more complex than being merely true or false, and which distinguishes between different "modes" of truth.

Subcategories

This category has the following 7 subcategories, out of 7 total.

D

M

S

T

Pages in category "Modal Logic"

This category contains only the following page.