Cezary Cieslinski

12 papers Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2024 J jnl
Axioms for Type-Free subjective Probability.
Rev. Symb. Log.
Cezary Cieslinski, Leon Horsten, Hannes Leitgeb
2023 J jnl
The two halves of disjunctive correctness.
J. Math. Log.
Cezary Cieslinski, Mateusz Lelyk, Bartosz Wcislo
2021 J jnl
Interpreting the compositional truth predicate in models of arithmetic.
Arch. Math. Log.
Cezary Cieslinski
2019 — conf
Satisfaction Classes via Cut Elimination.
ICLA
Cezary Cieslinski
2018 J jnl
Minimalism and the generalisation problem: on Horwich's second solution.
Synth.
Cezary Cieslinski
2017 J jnl
Models of Pt- with Internal Induction for total Formulae.
Rev. Symb. Log.
Cezary Cieslinski, Mateusz Lelyk, Bartosz Wcislo
2013 J jnl
Gödelizing the Yablo Sequence.
J. Philos. Log.
Cezary Cieslinski, Rafal Urbaniak
2013 — conf
Yablo Sequences in Truth Theories.
ICLA
Cezary Cieslinski
2011 J jnl
T-Equivalences for positive Sentences.
Rev. Symb. Log.
Cezary Cieslinski
2010 J jnl
Deflationary Truth and Pathologies.
J. Philos. Log.
Cezary Cieslinski
2007 J jnl
Deflationism, Conservativeness and Maximality.
J. Philos. Log.
Cezary Cieslinski
2003 J jnl
Löb's Theorem in a Set Theoretical Setting.
Stud Logica
Cezary Cieslinski
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski