11 found
Order:
Disambiguations
Robert A. Bull [7]Robert Bull [4]
  1.  20
    Cut Elimination for Propositional Dynamic Logic Without.Robert A. Bull - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):85-100.
  2.  8
    Cut Elimination for Propositional Dynamic Logic Without.Robert A. Bull - 1992 - Mathematical Logic Quarterly 38 (1):85-100.
  3.  19
    Lachlan A. H.. A Note on Thomason's Refined Structures for Tense Logics. Theoria, Vol. 40, Pp. 117–120.Fine Kit. Some Connections Between Elementary and Modal Logic. Proceedings of the Third Scandinavian Logic Symposium, Edited by Ranger Stig, Studies in Logic and the Foundations of Mathematics, Vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, Pp. 1–14.Goldblatt R. I. And Thomason S. K.. Axiomatic Classes in Propositional Modal Logic. Algebra and Logic, Papers From the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, Edited by Crossley J. N., Lecture Notes in Mathematics, Vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, Pp. 163–173.Goldblatt R. I.. First-Order Definability in Modal Logic. [REVIEW]Robert A. Bull - 1982 - Journal of Symbolic Logic 47 (2):440-445.
  4.  18
    The Classical Propositional Calculus of Arguments.Robert Bull - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (1-6):45-86.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  12
    Introduction to the Fiftieth Anniversary Issues.Ignacio Angelelli, Robert Bull, Jean E. Rubin, F. Gonzalez Asenjo, John Thomas Canty, Luis Elpidio Sanchis, Nuel D. Belnap, George Goe, Wilson E. Singletary & Ivan Boh - 2010 - Notre Dame Journal of Formal Logic 51 (1).
  6.  9
    The Classical Propositional Calculus of Arguments.Robert Bull - 1984 - Mathematical Logic Quarterly 30 (1‐6):45-86.
  7.  7
    Review: Nicholas Rescher, Temporal Logic. [REVIEW]Robert A. Bull - 1975 - Journal of Symbolic Logic 40 (2):252-253.
  8.  6
    Extensions of Classical Logic.Robert Bull, Krister Segerberg, D. Gabbay & F. Guenthner - 1989 - Journal of Symbolic Logic 54 (4):1472-1477.
  9. Rescher Nicholas and Urquhart Alasdair. Temporal Logic. Library of Exact Philosophy, Vol. 3. Springer-Verlag, Vienna and New York 1971, XVIII + 273 Pp.Rescher Nicholas and Urquhart Alasdair. Bibliography of Temporal Logic. Therein, Pp. 259–267.Rescher Nicholas and Garson James. Topological Logic. [REVIEW]Robert A. Bull - 1975 - Journal of Symbolic Logic 40 (2):252-253.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10. A. H. Lachlan. A Note on Thomason's Refined Structures for Tense Logics. Theoria, Vol. 40, Pp. 117–120. - Kit Fine. Some Connections Between Elementary and Modal Logic. Proceedings of the Third Scandinavian Logic Symposium, Edited by Stig Ranger, Studies in Logic and the Foundations of Mathematics, Vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, Pp. 1–14. - R. I. Goldblatt and S. K. Thomason. Axiomatic Classes in Propositional Modal Logic. Algebra and Logic, Papers From the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, Edited by J. N. Crossley, Lecture Notes in Mathematics, Vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, Pp. 163–173. - R. I. Goldblatt. First-Order Definability in Modal Logic. The Journal of Symbolic Logic, Vol. 40 , Pp. 35–40. - J. F. A. K. Van Benthem. A Note on Modal Formulae and Relational Properties. The Journal. [REVIEW]Robert A. Bull - 1982 - Journal of Symbolic Logic 47 (2):440-445.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. A. H. Lachlan. A Note on Thomason's Refined Structures for Tense Logics. Theoria, Vol. 40, Pp. 117–120. - Kit Fine. Some Connections Between Elementary and Modal Logic. Proceedings of the Third Scandinavian Logic Symposium, Edited by Stig Ranger, Studies in Logic and the Foundations of Mathematics, Vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, Pp. 1–14. - R. I. Goldblatt and S. K. Thomason. Axiomatic Classes in Propositional Modal Logic. Algebra and Logic, Papers From the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, Edited by J. N. Crossley, Lecture Notes in Mathematics, Vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, Pp. 163–173. - R. I. Goldblatt. First-Order Definability in Modal Logic. The Journal of Symbolic Logic, Vol. 40 , Pp. 35–40. - J. F. A. K. Van Benthem. A Note on Modal Formulae and Relational Properties. The Journal. [REVIEW]Robert A. Bull - 1982 - Journal of Symbolic Logic 47 (2):440-445.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark