Daniel Skurt

14 papers B 1C 1Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Rnmatrices for Modal Logics.
Rev. Symb. Log.
Marcelo E. Coniglio, Pawel Pawlowski, Daniel Skurt
2025 — conf
Two Semantic Approaches For Non-Dilemmatic Situations.
DEON
Mahan Vaz Silva, Daniel Skurt
2025 J jnl
☐ and ◇ in eight-valued non-deterministic semantics for modal logics.
J. Log. Comput.
Pawel Pawlowski, Daniel Skurt
2024 J jnl
8 Valued Non-Deterministic Semantics for Modal Logics.
J. Philos. Log.
Pawel Pawlowski, Daniel Skurt
2024 — conf
Modal Logics - RNmatrices vs. Nmatrices.
NCL
Marcelo E. Coniglio, Pawel Pawlowski, Daniel Skurt
2021 J jnl
Neighbourhood Semantics for FDE-Based Modal Logics.
Stud Logica
Sergey Drobyshevich, Daniel Skurt
2021 — conf
Untruth, falsity and non-deterministic semantics.
ISMVL
Hitoshi Omori, Daniel Skurt
2020 B conf
A Semantics for a Failed Axiomatization of K.
AiML
Hitoshi Omori, Daniel Skurt
2019 C conf
SIXTEEN _3 in Light of Routley Stars.
WoLLIC
Hitoshi Omori, Daniel Skurt
2018 J jnl
Bi-intuitionistic implication structures.
J. Appl. Non Class. Logics
Daniel Skurt
2018 J jnl
Negation as Cancellation, Connexive Logic, and qLPm.
Australas. J. Log.
Heinrich Wansing, Daniel Skurt
2017 J jnl
A Note on Two's Company: "The Humbug of Many Logical Values".
Logica Universalis
Daniel Skurt
2017 J jnl
FDE Circumscription.
Australas. J. Log.
Daniel Skurt
2016 J jnl
More Modal Semantics without Possible Worlds.
FLAP
Daniel Skurt, Hitoshi Omori
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