Want to model the progress of a disease over a month's time? Sure, just write a calculus equation that would model the statistics of the disease's progression for one hour at a time. Got that done?
The tetravalent modal logic (TML) is one of the two logics defined by Font and Rius (J Symb Log 65(2):481-518, 2000) (the other is the normal tetravalent modal logic TMLN) in connection with ...