63 found
Order:
  1.  4
    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.  3
    An Introduction to Modal Logic.R. A. Bull - 1971 - Journal of Symbolic Logic 36 (2):328-328.
    Direct download  
     
    Export citation  
     
    Bookmark   28 citations  
  3.  33
    That All Normal Extensions of S4.3 Have the Finite Model Property.R. A. Bull - 1966 - Mathematical Logic Quarterly 12 (1):341-344.
  4.  56
    On Modal Logic with Propositional Quantifiers.R. A. Bull - 1969 - Journal of Symbolic Logic 34 (2):257-263.
  5.  70
    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   21 citations  
  6.  8
    [Omnibus Review].R. A. Bull - 1985 - Journal of Symbolic Logic 50 (1):231-234.
  7.  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  
  8.  18
    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  
  9.  19
    An Algebraic Study of Tense Logics with Linear Time.R. A. Bull - 1968 - Journal of Symbolic Logic 33 (1):27-38.
  10.  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.
  11.  18
    A Modal Extension of Intuitionist Logic.R. A. Bull - 1965 - Notre Dame Journal of Formal Logic 6 (2):142-146.
  12.  23
    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.
  13.  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.
  14.  21
    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.
  15.  20
    S. K. Thomason. Noncompactness in Propositional Modal Logic. The Journal of Symbolic Logic, Vol. 37 No. 4 , Pp. 716–720. - Kit Fine. An Incomplete Logic Containing S4. Theoria, Vol. 40 , Pp. 23–29. - S. K. Thomason. An Incompleteness Theorem in Modal Logic. Theoria, Vol. 40 , Pp. 30–34. - Martin Gerson. The Inadequacy of the Neighbourhood Semantics for Modal Logic. The Journal of Symbolic Logic, Vol. 40 , Pp. 141–148. - Martin Sebastian Gerson. An Extension of S4 Complete for the Neighbourhood Semantics but Incomplete for the Relational Semantics. Studio Logica, Vol. 34 , Pp. 333–342. - Martin Gerson. A Neighbourhood Frame for T with No Equivalent Relational Frame. Zeitschrift Für Mathematische Logik Und Grundlugen der Mathematik, Vol. 22 , Pp. 29–34. - V. B. Šehtman. On Incomplete Propositional Logics. Soviet Mathematics, Vol. 18 , Pp. 985–989. , Pp. 542–545.) - J. F. A. K. Van Benthem. Two Simple Incomplete Modal Logics. Theoria, Vol. 44 , Pp. 25–37. - J. F. A. K. Van Benthem and W. [REVIEW]R. A. Bull - 1983 - Journal of Symbolic Logic 48 (2):488-495.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  18
    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  
  17.  20
    A Manual of Intensional Logic.R. A. Bull & Johan van Benthem - 1989 - Journal of Symbolic Logic 54 (4):1489.
  18.  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.
  19.  16
    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.
  20.  6
    An Approach to Tense Logic.R. A. Bull - 1974 - Journal of Symbolic Logic 39 (1):173-173.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  21.  14
    An Algebraic Study of Diodorean Modal Systems.R. A. Bull - 1965 - Journal of Symbolic Logic 30 (1):58-64.
  22.  11
    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.
  23.  9
    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.
  24.  29
    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  
  25.  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  
  26.  18
    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  
  27.  24
    Review: Andrzej Grzegorczyk, Some Relational Systems and the Associated Topological Spaces. [REVIEW]R. A. Bull - 1969 - Journal of Symbolic Logic 34 (4):652-653.
  28.  12
    Some Results for Implicational Calculi.R. A. Bull - 1964 - Journal of Symbolic Logic 29 (1):33-39.
  29.  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  
  30.  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.
  31.  40
    Note on a Paper in Tense Logic.R. A. Bull - 1969 - Journal of Symbolic Logic 34 (2):215-218.
  32.  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  
  33.  22
    An Axiomatization of Prior's Modal Calculus $Q$.R. A. Bull - 1964 - Notre Dame Journal of Formal Logic 5 (3):211-214.
  34.  25
    Review: A. N. Prior, Kit Fine, Word, Time and Selves. [REVIEW]R. A. Bull - 1979 - Journal of Symbolic Logic 44 (4):654-656.
  35.  19
    Survey of Generalizations of Urquhart Semantics.R. A. Bull - 1987 - Notre Dame Journal of Formal Logic 28 (2):220-237.
  36.  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  
  37.  5
    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.
  38.  7
    Review: Melvin Fitting, Proof Methods for Modal and Intuitionistic Logics. [REVIEW]R. A. Bull - 1985 - Journal of Symbolic Logic 50 (3):855-856.
  39.  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.
  40.  19
    On Three Related Extensions of S.R. A. Bull - 1967 - Notre Dame Journal of Formal Logic 8 (4):330-334.
  41.  13
    Review of A. N. Prior and K. Fine, Worlds, Times and Selves. [REVIEW]R. A. Bull - 1979 - Journal of Symbolic Logic 44 (4):654-656.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  10
    Van Benthem Johan. A Manual of Intensional Logic. CSLI Lecture Notes, No. 1. Center for the Study of Language and Information, Stanford 1985, Also Distributed by the University of Chicago Press, 74 Pp.Van Benthem Johan. A Manual of Intensional Logic. Revised and Expanded Second Edition. CSLI Lecture Notes, No. 1. Center for the Study of Language and Information, Stanford 1988, Also Distributed by the University of Chicago Press, Ix + 135 Pp. [REVIEW]R. A. Bull - 1989 - Journal of Symbolic Logic 54 (4):1489-1489.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  3
    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  
  44.  9
    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.
  45.  13
    On the Extension of S4 with $CLMpMLp$.R. A. Bull - 1967 - Notre Dame Journal of Formal Logic 8 (4):325-329.
  46.  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   1 citation  
  47.  17
    Review. [REVIEW]R. A. Bull - 1991 - Studia Logica 50 (3-4):623-629.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48. Review: John Thomas Canty, Systems Classically Axiomatized and Properly Contained in Lewis's $S3$. [REVIEW]R. A. Bull - 1968 - Journal of Symbolic Logic 33 (2):309-309.
     
    Export citation  
     
    Bookmark   1 citation  
  49.  8
    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  
  50. Review: Krister Segerberg, Some Modal Logics Based on a Three-Valued Logic. [REVIEW]R. A. Bull - 1968 - Journal of Symbolic Logic 33 (2):309-310.
1 — 50 / 63