Skip to main content
ZOEK
MENU
English
Nederlands
Researchers
Projects
Research groups
Faculty of Arts and Philosophy - Research Portal
Home
Researchers
Dr. Pawel Pawlowski
Dr. Pawel Pawlowski
pawel.pawlowski@ugent.be
LinkedIn
ResearchGate
Academia
Department
Department of Philosophy and Moral Sciences
Research group(s)
CLPS - Centre for Logic and Philosophy of Science
Tabgroup
Projects
Projects as postdoc
Modality and provability from the perspective of non-deterministic semantics
(
2019
-
2023
)
Projects as PhD researcher
Informal provability in mathematics as a partial notion
(
2014
-
2018
)
Publications
Most recent publications
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.
Full bibliography
Teaching
Logic: Capita Selecta