Robert A. Bull (bull-ra)

Contributions to Philosophie.ch

Bibliography

Bull, Robert A. 1964. “An Axiomatization of Prior’s Modal Calculus Q.” Notre Dame Journal of Formal Logic 5(3): 211–214.
Bull, Robert A. 1965. “Some Modal Calculi Based on IC.” in Formal Systems and Recursive Functions (Proceedings of the Eighth Logic Colloquium, Oxford, July 1963), edited by John Newsome Crossley and Michael A. E. Dummett, pp. 3–7. Studies in Logic and the Foundations of Mathematics n. 40. Amsterdam: North-Holland Publishing Co.
Bull, Robert A. 1966. “MIPC as the Formalisation of an Intuitionistic Concept of Modality.” The Journal of Symbolic Logic 31: 609–616.
Bull, Robert A. 1967. “On the Extension of S4 with CLMpMLp.” Notre Dame Journal of Formal Logic 8(4): 325–329.
Bull, Robert A. 1968. “An Algebraic Study of Tense Logics with Linear Time.” The Journal of Symbolic Logic 33: 27–38.
Bull, Robert A. 1969. “Note on a Paper in Tense Logic.” The Journal of Symbolic Logic 34: 215–218.
Bull, Robert A. 1979. “Review of Prior and Fine (1977).” The Journal of Symbolic Logic 44: 654–656.
Bull, Robert A. 1982. “Review of Fine (1975).” The Journal of Symbolic Logic 47: 440–445.
Bull, Robert A. 1983. “Review of Fine (1974b).” The Journal of Symbolic Logic 48: 488–495.
Bull, Robert A. 1985. “Review of Fine (1971), Fine (1974c), Fine (1974a), Esakia and Meshki (1977).” The Journal of Symbolic Logic 50: 231–234.
Bull, Robert A. 1996. “Logics without Contraction I.” in Logic and Reality: Essays on the Legacy of Arthur Prior, edited by B. Jack Copeland, pp. 317–336. Oxford: Oxford University Press.
Bull, Robert A. and Segerberg, Krister. 1984. “Basic Modal Logic.” in Handbook of Philosophical Logic, Volume II: Extensions of Classical Logic, edited by Dov M. Gabbay and Franz Guenthner, pp. 1–88. Synthese Library n. 165. Dordrecht: D. Reidel Publishing Co. Reprinted in revised form as Bull and Segerberg (2001).
Bull, Robert A. and Segerberg, Krister. 2001. “Basic Modal Logic.” in Handbook of Philosophical Logic, Volume III, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 1–82. Dordrecht: Springer. First publication as Bull and Segerberg (1984).

Further References

Esakia, Leo and Meshki, Y.Vu. 1977. “Five Critical Modal Systems.” Theoria 43(1): 52–60.
Fine, Kit. 1971. “The Logics Containing S.4.3.” Zeitschrift für mathematische Logik und Grundlagen der Mathematik 17: 371–376.
Fine, Kit. 1974a. “Logics Containing K4: Part I.” The Journal of Symbolic Logic 39(1): 31–42.
Fine, Kit. 1974b. “An Incomplete Logic Containing S4.” Theoria 40(1): 23–29.
Fine, Kit. 1974c. “An Ascending Chain of S4 Logics.” Theoria 40(2): 110–116.
Fine, Kit. 1975. “Some Connections between Elementary and Modal Logic.” in Proceedings of the 3rd Scandinavian Logic Symposion, edited by Stig Kanger, pp. 15–31. Studies in Logic and the Foundations of Mathematics n. 82. Amsterdam: North-Holland Publishing Co.
Prior, Arthur Norman and Fine, Kit. 1977. Worlds, Times and Selves. London: Gerald Duckworth & Co. Edited by Kit Fine; based on manuscripts by Prior with a preface and a postscript by Kit Fine.