This is a preview. Log in through your library . Abstract We investigate, for several modal logics but concentrating on KT, KD45, S4 and S5, the set of formulas B for which ̅B is provably equivalent ...
In the paper, the authors find series expansions and identities for positive integer powers of inverse (hyperbolic) sine and tangent, for composite of incomplete gamma function with inverse hyperbolic ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback