In the present paper we examine very weak modal logics C1, D1, E1, S0.5◦, S0.5◦+(D), S0.5 and some of their versions which are closed under replacement of tautological equivalents (rte-versions). We give semantics for these logics, formulated by means of Kripke style models of the form , where w is a «distinguished» world, A is a set of worlds which are alternatives to w, and V is a valuation which for formulae and worlds assigns the truth-vales such that: (i) for (...) all formulae and all worlds, V preserves classical conditions for truth-value operators; (ii) for the world w and any formula ϕ, V(⬜ϕ,w) = 1 iff ∀x∈A V(ϕ,x) = 1; (iii) for other worlds formula ⬜ϕ has an arbitrary value. Moreover, for rte-versions of considered logics we must add the following condition: (iv) V(⬜χ,w) = V(⬜χ[ϕ/ψ],w), if ϕ and ψ are tautological equivalent. Finally, for C1, D1and E1 we must add queer models of the form in which: (i) holds and (ii') V(⬜ϕ,w) = 0, for any formula ϕ. We prove that considered logics are determined by some classes of above models. (shrink)

“The Craft of Formal Logic” is Arthur Prior’s unpublished textbook, written in 1950–51, in which he developed a theory of modality as quantification over possible worlds-like objects. This theory predates most of the prominent pioneering texts in possible worlds semantics and anticipates the significance of its basic concept in modal logic. Prior explicitly defines modal operators as quantifiers of ‘entities’ with modal character. Although he talks about these ‘entities’ only informally, and hesitates how to name them, using alternately the phrases (...) ‘possible states of affairs’, ‘chances’, ‘cases’ or ‘peculiar objects’, he is nevertheless very clear that they should be the fundamental concept of any theory of modality as a form of quantity. Without the assumption that modal operators quantify over such modal objects, the modal system will be incapable of distinguishing an actually true proposition from a necessarily true one. Due to the fact that Prior never made any direct reference to this theory in his subsequently published papers, it remained largely unknown. The comparison of “The Craft” with some of his papers on tense logic suggests that this early theory of modality underlies his later work on temporality. (shrink)