Category:Definitions/Modal Logic

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Modal Logic.
Related results can be found in Category: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 only the following subcategory.

T

Pages in category "Definitions/Modal Logic"

The following 2 pages are in this category, out of 2 total.