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

R. A. Bull pubzone.org

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

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

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page