Pablo Cobreros

12 papers Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2022 J jnl
Higher-level Inferences in the Strong-Kleene Setting: A Proof-theoretic Approach.
J. Philos. Log.
Pablo Cobreros, Elio La Rosa, Luca Tranchini
2022 J jnl
Tolerance and degrees of truth.
CoRR
Pablo Cobreros, Paul Égré, David Ripley, Robert van Rooij
2021 J jnl
(I can't get no) antisatisfaction.
Synth.
Pablo Cobreros, Elio La Rosa, Luca Tranchini
2020 J jnl
Inferences and Metainferences in ST.
J. Philos. Log.
Pablo Cobreros, Paul Égré, David Ripley, Robert van Rooij
2016 — conf
Comparing Some Substructural Strategies Dealing with Vagueness.
IPMU (2)
Pablo Cobreros, Paul Égré, David Ripley, Robert van Rooij
2015 J jnl
Pragmatic Interpretations of Vague Expressions: Strongest Meaning and Nonmonotonic Consequence.
J. Philos. Log.
Pablo Cobreros, Paul Égré, David Ripley, Robert van Rooij
2014 J jnl
Foreword: Three-valued logics and their applications.
J. Appl. Non Class. Logics
Pablo Cobreros, Paul Égré, David Ripley, Robert van Rooij
2012 J jnl
Tolerance and Mixed Consequence in the S'valuationist Setting.
Stud Logica
Pablo Cobreros, Paul Égré, David Ripley, Robert van Rooij
2012 J jnl
Tolerant, Classical, Strict.
J. Philos. Log.
Pablo Cobreros, Paul Égré, David Ripley, Robert van Rooij
2011 J jnl
Paraconsistent vagueness: a positive argument.
Synth.
Pablo Cobreros
2009 — conf
Supervaluationism and Classical Logic.
ViC
Pablo Cobreros
2008 J jnl
Supervaluationism and Logical Consequence: A Third Way.
Stud Logica
Pablo Cobreros
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