63 found
Order:
  1.  6
    Modal Logic and Classical Logic.R. A. Bull - 1987 - Journal of Symbolic Logic 52 (2):557-558.
    Direct download  
     
    Export citation  
     
    Bookmark   45 citations  
  2.  41
    That All Normal Extensions of S4.3 Have the Finite Model Property.R. A. Bull - 1966 - Mathematical Logic Quarterly 12 (1):341-344.
  3.  59
    On Modal Logic with Propositional Quantifiers.R. A. Bull - 1969 - Journal of Symbolic Logic 34 (2):257-263.
  4.  72
    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   26 citations  
  5.  11
    [Omnibus Review].R. A. Bull - 1985 - Journal of Symbolic Logic 50 (1):231-234.
  6.  4
    An Introduction to Modal Logic.R. A. Bull - 1971 - Journal of Symbolic Logic 36 (2):328-328.
    Direct download  
     
    Export citation  
     
    Bookmark   28 citations  
  7.  21
    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   16 citations  
  8.  20
    An Algebraic Study of Tense Logics with Linear Time.R. A. Bull - 1968 - Journal of Symbolic Logic 33 (1):27-38.
  9.  4
    A General Interpreted Modal Calculus.R. A. Bull - 1974 - Journal of Symbolic Logic 39 (2):352-352.
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  10.  18
    A Modal Extension of Intuitionist Logic.R. A. Bull - 1965 - Notre Dame Journal of Formal Logic 6 (2):142-146.
  11.  6
    An Approach to Tense Logic.R. A. Bull - 1974 - Journal of Symbolic Logic 39 (1):173-173.
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  12.  17
    An Algebraic Study of Diodorean Modal Systems.R. A. Bull - 1965 - Journal of Symbolic Logic 30 (1):58-64.
  13.  21
    A Manual of Intensional Logic.R. A. Bull & Johan van Benthem - 1989 - Journal of Symbolic Logic 54 (4):1489.
  14.  19
    Andrzej Grzegorczyk. Some Relational Systems and the Associated Topological Spaces. Fundamenta Mathematicae, Vol. 60 , Pp. 223–231. [REVIEW]R. A. Bull - 1969 - Journal of Symbolic Logic 34 (4):652-653.
  15.  30
    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   3 citations  
  16.  23
    An Axiomatization of Prior's Modal Calculus $Q$.R. A. Bull - 1964 - Notre Dame Journal of Formal Logic 5 (3):211-214.
  17.  12
    Some Results for Implicational Calculi.R. A. Bull - 1964 - Journal of Symbolic Logic 29 (1):33-39.
  18.  10
    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 (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  19.  20
    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 (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  20
    Survey of Generalizations of Urquhart Semantics.R. A. Bull - 1987 - Notre Dame Journal of Formal Logic 28 (2):220-237.
  21.  14
    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.
  22.  26
    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 (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  25
    Review: Andrzej Grzegorczyk, Some Relational Systems and the Associated Topological Spaces. [REVIEW]R. A. Bull - 1969 - Journal of Symbolic Logic 34 (4):652-653.
  24.  40
    Note on a Paper in Tense Logic.R. A. Bull - 1969 - Journal of Symbolic Logic 34 (2):215-218.
  25.  1
    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   2 citations  
  26.  35
    On Possible Worlds in Propositional Calculi.R. A. Bull - 1968 - Theoria 34 (3):171-182.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  11
    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.
  28.  7
    Review: Melvin Fitting, Proof Methods for Modal and Intuitionistic Logics. [REVIEW]R. A. Bull - 1985 - Journal of Symbolic Logic 50 (3):855-856.
  29.  5
    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  
  30.  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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  17
    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.
  32.  10
    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.
  33.  6
    Correction To: ``Survey of Generalizations of Urquhart Semantics''.R. A. Bull - 1988 - Notre Dame Journal of Formal Logic 30 (1):151-153.
  34.  7
    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.
  35.  10
    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.
  36.  25
    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.
  37.  28
    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.
  38.  23
    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.
  39.  20
    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.
  40.  8
    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.
  41.  10
    On a Paper of Akira Nakamura.R. A. Bull - 1969 - Mathematical Logic Quarterly 15 (7‐12):155-156.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  20
    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 (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  18
    Review. [REVIEW]R. A. Bull - 1991 - Studia Logica 50 (3-4):623-629.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  7
    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.
  45.  25
    Review: A. N. Prior, Kit Fine, Word, Time and Selves. [REVIEW]R. A. Bull - 1979 - Journal of Symbolic Logic 44 (4):654-656.
  46.  3
    Review: Anjan Shukla, Decision Procedures for Lewis System S1 and Related Modal Systems. [REVIEW]R. A. Bull - 1972 - Journal of Symbolic Logic 37 (4):754-755.
  47.  7
    Review: Boleslaw Sobocinski, Note on G. J. Massey's Closure-Algebraic Operation. [REVIEW]R. A. Bull - 1971 - Journal of Symbolic Logic 36 (4):691-691.
  48.  6
    Review: E. J. Lemmon, Dana Scott, Krister Segerberg, An Introduction to Modal Logic. [REVIEW]R. A. Bull - 1979 - Journal of Symbolic Logic 44 (4):653-654.
  49.  5
    Review: G. E. Hughes, M. J. Cresswell, An Introduction to Modal Logic. [REVIEW]R. A. Bull - 1971 - Journal of Symbolic Logic 36 (2):328-328.
  50.  3
    Review: G. F. Schumm, On Some Open Questions of B. Sobocinski. [REVIEW]R. A. Bull - 1971 - Journal of Symbolic Logic 36 (2):329-329.
1 — 50 / 63