This is a preview. Log in through your library . Journal Information The Journal of Symbolic Logic (JSL) was founded in 1936 and it has become the leading research journal in the field. It is issued ...

This paper obtains the weak completeness and decidability results for standard systems of modal logic using models built from formulas themselves. This line of work began with Fine (Notre Dame J. Form ...