The axiom of McKinsey-Sobocinski in the framework of discussive logics

Marek Nasieniewski


In this paper we use Jaskowski’s method of defining a propositional logic with the help of the M-fragment of a given modal logic to express classical logic. We use as weak tools as possible to do this. A strengthening of some results by Scott and Lemmon concerning the McKinsey-Sobocinski axiom is presented. This paper is a part of the investigation of building the adaptive logic on the basis of the logic D2.

Full Text:



  • There are currently no refbacks.