Bartosz Wcislo

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 9

Top Topics

Quantifier Free

Program Synthesis

Boolean Formula

Concept Formation

Top Venues

Rev. Symb. Log.

Arch. Math. Log.

Bull. Symb. Log.

Publications

Bartosz Wcislo
Compositional truth with propositional tautologies and quantifier-free correctness. Arch. Math. Log. 63 (1) (2024)
Cezary Cieslinski, Mateusz Lelyk, Bartosz Wcislo
The two halves of disjunctive correctness. J. Math. Log. 23 (2) (2023)
Roman Kossak, Bartosz Wcislo
Disjunctions with Stopping conditions. Bull. Symb. Log. 27 (3) (2021)
Mateusz Lelyk, Bartosz Wcislo
Local collection and end-extensions of models of compositional truth. Ann. Pure Appl. Log. 172 (6) (2021)
Ali Enayat, Mateusz Lelyk, Bartosz Wcislo
Truth and Feasible Reducibility. J. Symb. Log. 85 (1) (2020)
Mateusz Lelyk, Bartosz Wcislo
Models of positive Truth. Rev. Symb. Log. 12 (1) (2019)
Cezary Cieslinski, Mateusz Lelyk, Bartosz Wcislo
Models of Pt- with Internal Induction for total Formulae. Rev. Symb. Log. 10 (1) (2017)
Bartosz Wcislo, Mateusz Lelyk
Notes on Bounded Induction for the Compositional Truth Predicate. Rev. Symb. Log. 10 (3) (2017)
Mateusz Lelyk, Bartosz Wcislo
Models of weak theories of truth. Arch. Math. Log. 56 (5-6) (2017)