Directory
References
Discover
T
logical system
Learn about this topic in these articles:
modal logic
- In formal logic: Alternative systems of modal logic
The modal system known as T has as axioms some set of axioms adequate for PC (such as those of PM), and in addition
Read More