R. A. Bull

14 papers Journal 14
YearRankTypeTitle / Venue / Authors
1991 J jnl
Review.
Stud Logica
R. A. Bull
1989 J jnl
Correction to "Survey of generalizations of Urquhart semantics".
Notre Dame J. Formal Log.
R. A. Bull
1987 J jnl
Survey of generalizations of Urquhart semantics.
Notre Dame J. Formal Log.
R. A. Bull
1969 J jnl
Note on a Paper in Tense Logic.
J. Symb. Log.
R. A. Bull
1969 J jnl
On Modal Logic with Propositional Quantifiers.
J. Symb. Log.
R. A. Bull
1968 J jnl
An Algebraic Study of Tense Logics with Linear Time.
J. Symb. Log.
R. A. Bull
1967 J jnl
On the extension of S4 with CLMpMLp.
Notre Dame J. Formal Log.
R. A. Bull
1967 J jnl
On three related extensions of S4.
Notre Dame J. Formal Log.
R. A. Bull
1966 J jnl
MIPC as the Formalisation of an Intuitionist Concept of Modality.
J. Symb. Log.
R. A. Bull
1965 J jnl
A modal extension of intuitionist logic.
Notre Dame J. Formal Log.
R. A. Bull
1965 J jnl
An Algebraic Study of Diodorean Modal Systems.
J. Symb. Log.
R. A. Bull
1964 J jnl
An axiomatization of Prior's modal calculus Q.
Notre Dame J. Formal Log.
R. A. Bull
1964 J jnl
Some Results for Implicational Calculi.
J. Symb. Log.
R. A. Bull
1962 J jnl
The Implicational Fragment of Dummet's LC.
J. Symb. Log.
R. A. Bull
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling