R. A. Bull DBLP Vis pubzone.org

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

DBLP keys1989
8no EE 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)

Copyright © Sat Nov 28 20:06:51 2009 by Michael Ley (ley@uni-trier.de)