Dr. Pawel Pawlowski

Pawlowski, Pawel, and Rafal Urbaniak. “Informal Provability, First-Order BAT Logic and First Steps towards a Formal Theory of Informal Provability.” LOGIC AND LOGICAL PHILOSOPHY, vol. 31, no. 3, 2022, pp. 501–27, doi:10.12775/LLP.2021.016.

Pawlowski, Pawel, and Elio La Rosa. “Modular Non-Deterministic Semantics for T, TB, S4, S5 and More.” JOURNAL OF LOGIC AND COMPUTATION, vol. 32, no. 1, 2022, pp. 158–71, doi:10.1093/logcom/exab079.

Pawlowski, Pawel. “Non-Deterministic Logic of Informal Provability Has No Finite Characterization.” JOURNAL OF LOGIC LANGUAGE AND INFORMATION, vol. 30, no. 4, 2021, pp. 805–17, doi:10.1007/s10849-021-09344-9.

Pawlowski, Pawel. “Tree-like Proof Systems for Finitely-Many Valued Non-Deterministic Consequence Relations.” LOGICA UNIVERSALIS, vol. 14, no. 4, 2020, pp. 407–20, doi:10.1007/s11787-020-00263-0.

Pawlowski, Pawel. “Proof Systems for BAT Consequence Relations.” LOGIC JOURNAL OF THE IGPL, vol. 26, no. 1, 2018, pp. 96–108, doi:10.1093/jigpal/jzx055.