Dr. Pawel Pawlowski

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. Informally Provable, Refutable or Neither : A Non-Deterministic Approach to Informal Provability. 2018.