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.  44
    That All Normal Extensions of S4.3 Have the Finite Model Property.R. A. Bull - 1966 - Mathematical Logic Quarterly 12 (1):341-344.
  3.  60
    On Modal Logic with Propositional Quantifiers.R. A. Bull - 1969 - Journal of Symbolic Logic 34 (2):257-263.
  4.  73
    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  
     
    Export citation  
     
    Bookmark   28 citations  
  5.  11
    [Omnibus Review].R. A. Bull - 1985 - Journal of Symbolic Logic 50 (1):231-234.
  6.  5
    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   21 citations  
  8.  19
    A Modal Extension of Intuitionist Logic.R. A. Bull - 1965 - Notre Dame Journal of Formal Logic 6 (2):142-146.
  9.  20
    An Algebraic Study of Tense Logics with Linear Time.R. A. Bull - 1968 - Journal of Symbolic Logic 33 (1):27-38.
  10.  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  
  11.  6
    An Approach to Tense Logic.R. A. Bull - 1974 - Journal of Symbolic Logic 39 (1):173-173.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  12.  18
    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.  31
    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  
  15.  21
    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.
  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.  27
    Review: Andrzej Grzegorczyk, Some Relational Systems and the Associated Topological Spaces. [REVIEW]R. A. Bull - 1969 - Journal of Symbolic Logic 34 (4):652-653.
  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  
     
    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.  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.
  22.  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.
  23.  23
    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  
  24.  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.
  25.  22
    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.
  26.  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.
  27.  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  
     
    Export citation  
     
    Bookmark   2 citations  
  28.  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.
  29.  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   3 citations  
  30.  25
    Review: A. N. Prior, Kit Fine, Word, Time and Selves. [REVIEW]R. A. Bull - 1979 - Journal of Symbolic Logic 44 (4):654-656.
  31.  11
    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.
  32.  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  
     
    Export citation  
     
    Bookmark  
  33.  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.
  34.  19
    On Three Related Extensions of S.R. A. Bull - 1967 - Notre Dame Journal of Formal Logic 8 (4):330-334.
  35.  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.
  36.  14
    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  
  37.  11
    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  
  38.  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.
  39.  13
    On the Extension of S4 with $CLMpMLp$.R. A. Bull - 1967 - Notre Dame Journal of Formal Logic 8 (4):325-329.
  40.  18
    Review. [REVIEW]R. A. Bull - 1991 - Studia Logica 50 (3-4):623-629.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41. 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  
  42.  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.
  43.  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  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  10
    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  
  45. 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.
  46.  40
    Note on a Paper in Tense Logic.R. A. Bull - 1969 - Journal of Symbolic Logic 34 (2):215-218.
  47.  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.
  48.  35
    On Possible Worlds in Propositional Calculi.R. A. Bull - 1968 - Theoria 34 (3):171-182.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  7
    Review: Johan van Benthem, Modal Logic and Classical Logic. [REVIEW]R. A. Bull - 1987 - Journal of Symbolic Logic 52 (2):557-558.
  50.  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.
1 — 50 / 63