J. C. C. McKinsey

11 papers Journal 11

Year	Rank	Type	Title / Venue / Authors
1953	J	`jnl`	Systems of Modal Logic Which are Not Unreasonable in the Sense of Hallden. J. Symb. Log. J. C. C. McKinsey
1948	J	`jnl`	Some Theorems About the Sentential Calculi of Lewis and Heyting. J. Symb. Log. J. C. C. McKinsey, Alfred Tarski
1945	J	`jnl`	On the Syntactical Construction of Systems of Modal Logic. J. Symb. Log. J. C. C. McKinsey
1944	J	`jnl`	On the Number of Complete Extensions of the Lewis Systems of Sentential Calculus. J. Symb. Log. J. C. C. McKinsey
1943	J	`jnl`	The Decision Problem for Some Classes of Sentences Without Quantifiers. J. Symb. Log. J. C. C. McKinsey
1942	J	`jnl`	Seventh Meeting of the Association for Symbolic Logic. J. Symb. Log. J. C. C. McKinsey
1941	J	`jnl`	A Solution of the Decision Problem for the Lewis systems S2 and S4, with an Application to Topology. J. Symb. Log. J. C. C. McKinsey
1940	J	`jnl`	A Correction to Lewis and Langford's Symbolic Logic. J. Symb. Log. J. C. C. McKinsey
1940	J	`jnl`	Postulates for the Calculus of Binary Relations. J. Symb. Log. J. C. C. McKinsey
1940	J	`jnl`	Proof That There are Infinitely Many Modalities in Lewis's System S J. Symb. Log. J. C. C. McKinsey
1939	J	`jnl`	Proof of the Independence of the Primitive Symbols of Heyting's Calculus of Propositions. J. Symb. Log. J. C. C. McKinsey

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