R. A. Bull

1.2k citations

29 papers · 511 indexed · h-index 13

Co-authors: Neil Harris J. Douglas Bremner Deepak Sharma Spencer K. Lynn Omer T. InanYi YangZeineb Bouzid Reza Sameni
Topics: Logic, Reasoning, and Knowledge (21 papers)Advanced Algebra and Logic (18 papers)Logic, programming, and type systems (9 papers)
Cited by: Computational Theory and Mathematics Artificial Intelligence Software
Journals: Journal of Affective Disorders Physiological Measurement Journal of Symbolic Logic
Partner nations: United Kingdom United States New Zealand

In The Last Decade

R. A. Bull

26 papers receiving 416 citations

Peers

Countries citing papers authored by R. A. Bull

Since Specialization

Citations

This map shows the geographic impact of R. A. Bull's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by R. A. Bull with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites R. A. Bull more than expected).

Fields of papers citing papers by R. A. Bull

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by R. A. Bull. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by R. A. Bull. The network helps show where R. A. Bull may publish in the future.

Co-authorship network of co-authors of R. A. Bull

This figure shows the co-authorship network connecting the top 25 collaborators of R. A. Bull. A scholar is included among the top collaborators of R. A. Bull based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with R. A. Bull. R. A. Bull is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

#	Work	Indexed citations
1	Prescreening depression using wearable electrocardiogram and photoplethysmogram data from a psycholinguistic experiment 2025 ·Physiological Measurement ·(unknown),(unknown),(unknown),(unknown),Deepak Sharma,(unknown),(unknown),(unknown),Zeineb Bouzid,(unknown),Neil Harris,R. A. Bull,(unknown),Spencer K. Lynn,(unknown),Omer T. Inan,J. Douglas Bremner,Reza Sameni	0
2	Decoding depression: Event related potential dynamics and predictive neural signatures of depression severity 2025 ·Journal of Affective Disorders ·(unknown),(unknown),(unknown),(unknown),Yi Yang,(unknown),Zeineb Bouzid,(unknown),R. A. Bull,(unknown),Omer T. Inan,Reza Sameni,Spencer K. Lynn,(unknown)	0
3	MIPC as the formalisation of an intuitionist concept of modality 1997 ·Journal of Symbolic Logic ·R. A. Bull	27
4	CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT 1992 ·Mathematical logic quarterly ·R. A. Bull	13
5	Johan van Benthem. A manual of intensional logic. CSLI lecture notes, no. 1. Center for the Study of Language and Information, Stanford 1985, also distributed by the University of Chicago Press, 74 pp. - Johan van Benthem. A manual of intensional logic. Revised and expanded second edition. CSLI lecture notes, no. 1. Center for the Study of Language and Information, Stanford 1988, also distributed by the University of Chicago Press, ix + 135 pp. 1989 ·Journal of Symbolic Logic ·R. A. Bull	15
6	Johan van Benthem. Modal logic and classical logic. Indices, no. 3. Bibliopolis, Naples 1985 (©1983), also distributed by Humanities Press, Atlantic Highlands, N.J., 234 pp. 1987 ·Journal of Symbolic Logic ·R. A. Bull	189
7	S. K. Thomason. Noncompactness in propositional modal logic. The journal of symbolic logic, vol. 37 no. 4 (for 1972, pub. 1973), pp. 716–720. - Kit Fine. An incomplete logic containing S4. Theoria, vol. 40 (1974), pp. 23–29. - S. K. Thomason. An incompleteness theorem in modal logic. Theoria, vol. 40 (1974), pp. 30–34. - Martin Gerson. The inadequacy of the neighbourhood semantics for modal logic. The journal of symbolic logic, vol. 40 (1975), pp. 141–148. - Martin Sebastian Gerson. An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics. Studio logica, vol. 34 (1975), pp. 333–342. - Martin Gerson. A neighbourhood frame for T with no equivalent relational frame. Zeitschrift für mathematische Logik und Grundlugen der Mathematik, vol. 22 (1976), pp. 29–34. - V. B. Šehtman. On incomplete propositional logics. Soviet mathematics, vol. 18 (1977), pp. 985–989. (English translation by B. F. Wells of O népolnyh logikah vyskazyvanij, Doklady Akadémii Nauk SSSR, vol. 235 (1977), pp. 542–545.) - J. F. A. K. van Benthem. Two simple incomplete modal logics. Theoria, vol. 44 (1978), pp. 25–37. - J. F. A. K. van Benthem and W. J. Blok. Transitivity follows from Dummett's axiom. Theoria, vol. 44 (1978), pp. 117–118. - J. F. A. K. van Benthem. Syntactic aspects of modal incompleteness theorems. Theoria, vol. 44 (1978), vol. 45 (1979). pp. 63–77. 1983 ·Journal of Symbolic Logic ·R. A. Bull	1
8	An approach to tense logic¹ 1970 ·Theoria ·R. A. Bull	37
9	Andrzej Grzegorczyk. Some relational systems and the associated topological spaces. Fundamenta mathematicae, vol. 60 (1967), pp. 223–231. 1970 ·Journal of Symbolic Logic ·R. A. Bull	2
10	On modal logic with propositional quantifiers 1969 ·Journal of Symbolic Logic ·R. A. Bull	19
11	On modal logic with propositional quantifiers 1969 ·Journal of Symbolic Logic ·R. A. Bull	37
12	On Possible Worlds in Propositional Calculi 1968 ·Theoria ·R. A. Bull	5
13	A Class of Extensions of the Modal System S4 with the Finite Model Property 1965 ·Mathematical logic quarterly ·R. A. Bull	3
14	A modal extension of intuitionist logic. 1965 ·Notre Dame Journal of Formal Logic ·R. A. Bull	20
15	An algebraic study of Diodorean modal systems 1965 ·Journal of Symbolic Logic ·R. A. Bull	16
16	Some results for implicational calculi 1964 ·Journal of Symbolic Logic ·R. A. Bull	13
17	An axiomatization of Prior's modal calculus $Q$. 1964 ·Notre Dame Journal of Formal Logic ·R. A. Bull	9
18	A NOTE ON THE MODAL CALCULI S 4.2 AND S 4.3 1964 ·Mathematical logic quarterly ·R. A. Bull	6
19	The implicational fragment of Dummett's LC 1962 ·Journal of Symbolic Logic ·R. A. Bull	14
20	Reversible Projector Equipment for Review-Rooms 1961 ·Journal of the SMPTE ·R. A. Bull	1

About R. A. Bull

R. A. Bull is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Geometry and Topology, having authored 29 papers that have together received 511 indexed citations. Recurring topics across this work include Logic, Reasoning, and Knowledge (21 papers), Advanced Algebra and Logic (18 papers) and Logic, programming, and type systems (9 papers). The work is most often cited by research in Computational Theory and Mathematics (351 citations), Artificial Intelligence (456 citations) and Software (7 citations). R. A. Bull has collaborated with scholars based in United Kingdom, United States and New Zealand. Frequent co-authors include Neil Harris, J. Douglas Bremner, Deepak Sharma, Spencer K. Lynn, Omer T. Inan, Yi Yang, Zeineb Bouzid and Reza Sameni. Their work appears in journals such as Journal of Affective Disorders, Physiological Measurement and Journal of Symbolic Logic.

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact