Modalité monotone et schéma T

Thierry Lucas

Abstract


Using sequent calculus, we characterize the formulas A for which ?A ? A (T schema) is provable in propositional modal system M.

Full Text:

PDF

Refbacks

  • There are currently no refbacks.