Bartosz Wieckowski

14 papers Journal 13Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
On the Proof-Theoretic Structure of Counterfactual Inference.
Bull. Symb. Log.
Bartosz Wieckowski
2025 J jnl
Oiva Ketonen, Investigations into the Predicate Calculus, vol. 3 of Logic PhDs, Sara Negri, and Jan von Plato, (eds.), College Publications, 2022, pp. 130+vii; ISBN 978-1-84890-407-1.
Stud Logica
Bartosz Wieckowski
2024 — conf
Incomplete Descriptions and Qualified Definiteness.
NCL
Bartosz Wieckowski
2023 J jnl
Negative Predication and Distinctness.
Logica Universalis
Bartosz Wieckowski
2021 J jnl
Intuitionistic multi-agent subatomic natural deduction for belief and knowledge.
J. Log. Comput.
Bartosz Wieckowski
2021 J jnl
Subatomic Negation.
J. Log. Lang. Inf.
Bartosz Wieckowski
2017 J jnl
A Proof Theory for First-order Logic with Definiteness.
FLAP
Nissim Francez, Bartosz Wieckowski
2016 J jnl
Refinements of subatomic natural deduction.
J. Log. Comput.
Bartosz Wieckowski
2016 J jnl
Subatomic Natural Deduction for a Naturalistic First-Order Language with Non-Primitive Identity.
J. Log. Lang. Inf.
Bartosz Wieckowski
2015 J jnl
Constructive belief reports.
Synth.
Bartosz Wieckowski
2012 J jnl
A Constructive Type-Theoretical Formalism for the Interpretation of Subatomically Sensitive Natural Language Constructions.
Stud Logica
Bartosz Wieckowski
2011 J jnl
Rules for subatomic Derivation.
Rev. Symb. Log.
Bartosz Wieckowski
2010 J jnl
Associative Substitutional Semantics and Quantified Modal Logic.
Stud Logica
Bartosz Wieckowski
2007 J jnl
Book Reviews.
Stud Logica
Bartosz Wieckowski
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