Deux redondances de la règle de Löb en logique modale

Marcel Crabbé

Abstract


We show in a purely syntactic way that the systems K and E of propositional modal logic are closed under Löb's rule: ?A ? A / A.

Full Text:

PDF

Refbacks

  • There are currently no refbacks.