Bartosz Wcislo

According to our database, Bartosz Wcislo authored at least 9 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Compositional truth with propositional tautologies and quantifier-free correctness.

Bartosz Wcislo

Arch. Math. Log., February, 2024

2023

The two halves of disjunctive correctness.

Cezary Cieslinski, Mateusz Lelyk, Bartosz Wcislo

J. Math. Log., August, 2023

2021

Disjunctions with Stopping conditions.

Roman Kossak, Bartosz Wcislo

Bull. Symb. Log., 2021

Local collection and end-extensions of models of compositional truth.

Mateusz Lelyk, Bartosz Wcislo

Ann. Pure Appl. Log., 2021

2020

Truth and Feasible Reducibility.

Ali Enayat, Mateusz Lelyk, Bartosz Wcislo

J. Symb. Log., 2020

2019

Models of positive Truth.

Mateusz Lelyk, Bartosz Wcislo

Rev. Symb. Log., 2019

2017

Notes on Bounded Induction for the Compositional Truth Predicate.

Bartosz Wcislo, Mateusz Lelyk

Rev. Symb. Log., 2017

Models of Pt- with Internal Induction for total Formulae.

Cezary Cieslinski, Mateusz Lelyk, Bartosz Wcislo

Rev. Symb. Log., 2017

Models of weak theories of truth.

Mateusz Lelyk, Bartosz Wcislo

Arch. Math. Log., 2017