dblp.uni-trier.dewww.uni-trier.de

R. A. Bull

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1989
8 R. A. Bull: Correction to ``Survey of generalizations of Urquhart semantics''. Notre Dame Journal of Formal Logic 30(1): 151-153 (1989)
1969
7 R. A. Bull: Note on a Paper in Tense Logic. J. Symb. Log. 34(2): 215-218 (1969)
6 R. A. Bull: On Modal Logic with Propositional Quantifiers. J. Symb. Log. 34(2): 257-263 (1969)
1968
5 R. A. Bull: An Algebraic Study of Tense Logics with Linear Time. J. Symb. Log. 33(1): 27-38 (1968)
1966
4 R. A. Bull: MIPC as the Formalisation of an Intuitionist Concept of Modality. J. Symb. Log. 31(4): 609-616 (1966)
1965
3 R. A. Bull: An Algebraic Study of Diodorean Modal Systems. J. Symb. Log. 30(1): 58-64 (1965)
1964
2 R. A. Bull: Some Results for Implicational Calculi. J. Symb. Log. 29(1): 33-39 (1964)
1962
1 R. A. Bull: The Implicational Fragment of Dummet's LC. J. Symb. Log. 27(2): 189-194 (1962)

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)