Works by Robert A. Bull

( view other items matching `Robert A. Bull`, view all matches )
6 found
Order:
  1.  38
    Cut elimination for propositional dynamic logic without.Robert A. Bull - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):85-100.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  2.  18
    Cut elimination for propositional dynamic logic without.Robert A. Bull - 1992 - Mathematical Logic Quarterly 38 (1):85-100.
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  3.  15
    A Note on Thomason's Refined Structures for Tense Logics.Robert A. Bull - 1982 - Journal of Symbolic Logic 47 (2):440-445.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  47
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  28
    Nicholas Rescher and Alasdair Urquhart. Temporal logic. Library of exact philosophy, vol. 3. Springer-Verlag, Vienna and New York1971, XVIII + 273 pp. - Nicholas Rescher and Alasdair Urquhart. Bibliography of temporal logic. Therein, pp. 259–267. - Nicholas Rescher and James Garson. Topological logic. The journal of symbolic logic, vol. 33 no. 4 , pp. 537–548. A slightly revised version reprinted in Topics in philosophical logic, by Nicholas Rescher, D. Reidel Publishing Company, Dordrecht, Holland, 1968, and Humanities Press, New York, 1969, pp. 229–244. - Nicholas Rescher and John Robison. Temporally conditioned descriptions. Ratio , vol. 8 , pp. 46–54. - Nicholas Rescher and John Robison. Zeitlich bedingte Kennzeichnungen. German translation of the preceding. Ratio , vol. 8 , pp. 40–47. [REVIEW]Robert A. Bull - 1975 - Journal of Symbolic Logic 40 (2):252-253.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  9
    Review: Nicholas Rescher, Temporal Logic. [REVIEW]Robert A. Bull - 1975 - Journal of Symbolic Logic 40 (2):252-253.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark