64 found
Order:
  1.  18
    Modal Logic and Classical Logic.R. A. Bull - 1987 - Journal of Symbolic Logic 52 (2):557-558.
  2.  76
    On modal logic with propositional quantifiers.R. A. Bull - 1969 - Journal of Symbolic Logic 34 (2):257-263.
    I am interested in extending modal calculi by adding propositional quantifiers, given by the rules for quantifier introduction: provided that p does not occur free in A.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   37 citations  
  3.  45
    That All Normal Extensions of S4.3 Have the Finite Model Property.R. A. Bull - 1966 - Mathematical Logic Quarterly 12 (1):341-344.
  4.  11
    An Introduction to Modal Logic.R. A. Bull - 1971 - Journal of Symbolic Logic 36 (2):328-328.
    Direct download  
     
    Export citation  
     
    Bookmark   29 citations  
  5.  44
    MIPC as the formalisation of an intuitionist concept of modality.R. A. Bull - 1966 - Journal of Symbolic Logic 31 (4):609-616.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  6.  24
    [Omnibus Review].R. A. Bull - 1985 - Journal of Symbolic Logic 50 (1):231-234.
  7.  94
    An approach to tense logic.R. A. Bull - 1970 - Theoria 36 (3):282-300.
    The author's motivation for constructing the calculi of this paper\nis so that time and tense can be "discussed together in the same\nlanguage" (p. 282). Two types of enriched propositional caluli for\ntense logic are considered, both containing ordinary propositional\nvariables for which any proposition may be substituted. One type\nalso contains "clock-propositional" variables, a,b,c, etc., for\nwhich only clock-propositional variables may be substituted and that\ncorrespond to instants or moments in the semantics. The other type\nalso contains "history-propositional" variables, u,v,w, etc., for\nwhich only history-propositional variables may (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  8.  37
    A modal extension of intuitionist logic.R. A. Bull - 1965 - Notre Dame Journal of Formal Logic 6 (2):142-146.
  9.  17
    An Approach to Tense Logic.R. A. Bull - 1974 - Journal of Symbolic Logic 39 (1):173-173.
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  10.  13
    A General Interpreted Modal Calculus.R. A. Bull - 1974 - Journal of Symbolic Logic 39 (2):352-352.
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  11.  33
    An algebraic study of tense logics with linear time.R. A. Bull - 1968 - Journal of Symbolic Logic 33 (1):27-38.
  12.  44
    An algebraic study of diodorean modal systems.R. A. Bull - 1965 - Journal of Symbolic Logic 30 (1):58-64.
  13.  42
    A Manual of Intensional Logic.R. A. Bull & Johan van Benthem - 1989 - Journal of Symbolic Logic 54 (4):1489.
  14.  31
    An axiomatization of Prior's modal calculus $Q$.R. A. Bull - 1964 - Notre Dame Journal of Formal Logic 5 (3):211-214.
  15.  20
    Some results for implicational calculi.R. A. Bull - 1964 - Journal of Symbolic Logic 29 (1):33-39.
  16.  52
    The implicational fragment of dummet's LC.R. A. Bull - 1962 - Journal of Symbolic Logic 27 (2):189-194.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  17.  6
    An Algebraic Study of Tense Logics with Linear Time.R. A. Bull - 1971 - Journal of Symbolic Logic 36 (1):173-173.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  18.  18
    A note on the modal calculi S 4.2 and S 4.3.R. A. Bull - 1964 - Mathematical Logic Quarterly 10 (4):53-55.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  19.  27
    A note on the modal calculi S 4.2 and S 4.3.R. A. Bull - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (4):53-55.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  20.  58
    Note on a paper in tense logic.R. A. Bull - 1969 - Journal of Symbolic Logic 34 (2):215-218.
    In [1, §4], my ‘proof’ that GH1 has the finite model property is incorrect; there are considerable obscurities towards the end of §1, particularly on p. 33; and I should have exhibited the finite models for GH1. In §1 of this paper I expand the analysis of the sub-directly irreducible models for GH1 which I give in §1 of [1]. In §2 I give a correct proof that GH1 has the finite model property. In §3 I exhibit these finite models (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  29
    Survey of generalizations of Urquhart semantics.R. A. Bull - 1987 - Notre Dame Journal of Formal Logic 28 (2):220-237.
  22.  13
    A Class of Extensions of the Modal System S4 with the Finite Model Property.R. A. Bull - 1965 - Mathematical Logic Quarterly 11 (2):127-132.
  23.  37
    A Class of Extensions of the Modal System S4 with the Finite Model Property.R. A. Bull - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (2):127-132.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  13
    Correction to: ``Survey of generalizations of Urquhart semantics''.R. A. Bull - 1988 - Notre Dame Journal of Formal Logic 30 (1):151-153.
  25.  10
    Krister Segerberg. Some modal logics based on a three-valued logic. Theoria , vol. 33 , pp. 53–71.R. A. Bull - 1968 - Journal of Symbolic Logic 33 (2):309-310.
  26.  19
    On a paper of akira nakamura.R. A. Bull - 1969 - Mathematical Logic Quarterly 15 (7‐12):155-156.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  26
    On a paper of akira nakamura.R. A. Bull - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (7-12):155-156.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  39
    On Possible Worlds in Propositional Calculi.R. A. Bull - 1968 - Theoria 34 (3):171-182.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  4
    Schumm G. F.. On some open questions of B. Sobociński. Notre Dame Journal of format logic, vol. 10 no. 3 , pp. 261–262.R. A. Bull - 1971 - Journal of Symbolic Logic 36 (2):329-329.
  30.  7
    Thomason S. K.. Noncompactness in propositional modal logic.R. A. Bull - 1983 - Journal of Symbolic Logic 48 (2):488-495.
  31.  9
    Systems Classically Axiomatized and Properly Contained in Lewis's S3.R. A. Bull - 1968 - Journal of Symbolic Logic 33 (2):309-309.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  8
    Notes on a Group of New Modal Systems.A. N. Prior & R. A. Bull - 1970 - Journal of Symbolic Logic 35 (3):464-464.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  10
    Tense-Logic and the Continuity of Time.A. N. Prior & R. A. Bull - 1967 - Journal of Symbolic Logic 32 (2):245-246.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  20
    On the extension of S4 with $CLMpMLp$.R. A. Bull - 1967 - Notre Dame Journal of Formal Logic 8 (4):325-329.
  35.  29
    On three related extensions of S.R. A. Bull - 1967 - Notre Dame Journal of Formal Logic 8 (4):330-334.
  36.  17
    Andrzej Grzegorczyk. Some relational systems and the associated topological spaces. Fundamenta mathematicae, vol. 60 (1967), pp. 223–231. [REVIEW]R. A. Bull - 1970 - Journal of Symbolic Logic 34 (4):652-653.
  37.  36
    Review: Andrzej Grzegorczyk, Some Relational Systems and the Associated Topological Spaces. [REVIEW]R. A. Bull - 1969 - Journal of Symbolic Logic 34 (4):652-653.
  38.  21
    Aldo Bressan. A general interpreted modal calculus. Yale University Press, New Haven and London 1972, xxviii + 327 pp. [REVIEW]R. A. Bull - 1974 - Journal of Symbolic Logic 39 (2):352.
  39.  19
    A. N. Prior. The parallel between modal logic and quantification theory. Worlds, times and selves, by A. N. Prior and Kit Fine, University of Massachusetts Press, Amherst, and Duckworth, London, 1977, pp. 9–27. - A. N. Prior. Egocentric logic. Worlds, times and selves, by A. N. Prior and Kit Fine, University of Massachusetts Press, Amherst, and Duckworth, London, 1977, pp. 28–45. , pp. 191–207.) - A. N. Prior. Supplement to ‘Egocentric logic’. Worlds, times and selves, by A. N. Prior and Kit Fine, University of Massachusetts Press, Amherst, and Duckworth, London, 1977, pp. 46–50. - A. N. Prior. Worlds, limes and selves. Worlds, times and selves, by A. N. Prior and Kit Fine, University of Massachusetts Press, Amherst, and Duckworth, London, 1977, pp. 51–66. , pp. 179–191.) - A. N. Prior. Tensed propositions as predicates. Worlds, times and selves, by A. N. Prior and Kit Fine, University of Massachusetts Press, Amherst, and Duckworth, London, 1977, pp. 67–83. , pp. 290–297.) - A. N. Prio. [REVIEW]R. A. Bull - 1979 - Journal of Symbolic Logic 44 (4):654-656.
  40.  19
    Anjan Shukla. Decision procedures for Lewis system S1 and related modal systems. Notre Dame journal of formal logic, vol. 11 , pp. 141–180. [REVIEW]R. A. Bull - 1972 - Journal of Symbolic Logic 37 (4):754-755.
  41.  22
    E. J. Lemmon. An introduction to modal logic, ir. collaboration with Dana Scott, edited by Krister Segerberg. American philosophical quarterly monograph series, no. 11. Basil Blackwell, Oxford1977, x + 94 pp. [REVIEW]R. A. Bull - 1979 - Journal of Symbolic Logic 44 (4):653-654.
  42.  18
    Fitting Melvin. Proof methods for modal and intuitionistic logics. Synthese library, vol. 169. D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, viii + 555 pp. [REVIEW]R. A. Bull - 1985 - Journal of Symbolic Logic 50 (3):855-856.
  43.  17
    Hughes G. E. and Cresswell M. J.. An introduction to modal logic. Methuen and Co. Ltd., London 1968, xii + 388 pp. [REVIEW]R. A. Bull - 1971 - Journal of Symbolic Logic 36 (2):328.
  44.  16
    Gerald J. Massey. Binary closure-algebraic operations that are functionally complete. Notre Dame journal of formal logic, vol. 11 , pp. 340–342. [REVIEW]R. A. Bull - 1971 - Journal of Symbolic Logic 36 (4):691.
  45.  23
    John Thomas Canty. Systems classically axiomatized and properly contained in Lewis's S3. Notre Dame Journal of formal logic, vol. 6 , pp. 309–318. [REVIEW]R. A. Bull - 1968 - Journal of Symbolic Logic 33 (2):309.
  46.  27
    Johan van Benthem. Modal logic and classical logic. Indices, no. 3. Bibliopolis, Naples 1985 , also distributed by Humanities Press, Atlantic Highlands, N.J., 234 pp. [REVIEW]R. A. Bull - 1987 - Journal of Symbolic Logic 52 (2):557-558.
  47.  29
    Kit Fine. The logics containing S4.3. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 17 , pp. 371–376. - Kit Fine. An ascending chain of S4 logics. Theoria, vol. 40 , pp. 110–116. - Kit Fine. Logics containing K4. Part I. The journal of symbolic logic, vol. 39 , pp. 31–42. - L. Esakia and V. Meskhi. Five critical modal systems. Theoria, vol. 43 , pp. 52–60. [REVIEW]R. A. Bull - 1985 - Journal of Symbolic Logic 50 (1):231-234.
  48.  20
    Review. [REVIEW]R. A. Bull - 1991 - Studia Logica 50 (3-4):623-629.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  12
    Review: Aldo Bressan, A General Interpreted Modal Calculus; Nuel D. Belnap, Foreword. [REVIEW]R. A. Bull - 1974 - Journal of Symbolic Logic 39 (2):352-352.
  50.  28
    Review: A. N. Prior, Kit Fine, Word, Time and Selves. [REVIEW]R. A. Bull - 1979 - Journal of Symbolic Logic 44 (4):654-656.
1 — 50 / 64