Cezary Cieslinski

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 6

Top Topics

Cut Elimination

Accurate Models

Complex Systems

Top Venues

Rev. Symb. Log.

Arch. Math. Log.

Publications

Cezary Cieslinski, Leon Horsten, Hannes Leitgeb
Axioms for Type-Free subjective Probability. Rev. Symb. Log. 17 (2) (2024)
Cezary Cieslinski, Mateusz Lelyk, Bartosz Wcislo
The two halves of disjunctive correctness. J. Math. Log. 23 (2) (2023)
Cezary Cieslinski
Interpreting the compositional truth predicate in models of arithmetic. Arch. Math. Log. 60 (6) (2021)
Cezary Cieslinski
Satisfaction Classes via Cut Elimination. ICLA (2019)
Cezary Cieslinski
Minimalism and the generalisation problem: on Horwich's second solution. Synth. 195 (3) (2018)
Cezary Cieslinski, Mateusz Lelyk, Bartosz Wcislo
Models of Pt- with Internal Induction for total Formulae. Rev. Symb. Log. 10 (1) (2017)
Cezary Cieslinski
Yablo Sequences in Truth Theories. ICLA (2013)
Cezary Cieslinski, Rafal Urbaniak
Gödelizing the Yablo Sequence. J. Philos. Log. 42 (5) (2013)
Cezary Cieslinski
T-Equivalences for positive Sentences. Rev. Symb. Log. 4 (2) (2011)
Cezary Cieslinski
Deflationary Truth and Pathologies. J. Philos. Log. 39 (3) (2010)
Cezary Cieslinski
Deflationism, Conservativeness and Maximality. J. Philos. Log. 36 (6) (2007)
Cezary Cieslinski
Löb's Theorem in a Set Theoretical Setting. Stud Logica 75 (3) (2003)