Many-valued logic of informal provability: a non-deterministic strategy P Pawlowski, R Urbaniak The Review of Symbolic Logic 11 (2), 207-223, 2018 | 17 | 2018 |
Modular non-deterministic semantics for T, TB, S4, S5 and more P Pawlowski, E La Rosa Journal of Logic and Computation 32 (1), 158-171, 2022 | 10 | 2022 |
Tree-like proof systems for finitely-many valued non-deterministic consequence relations P Pawlowski Logica Universalis 14, 407-420, 2020 | 9 | 2020 |
Logics of (formal and informal) provability R Urbaniak, P Pawlowski Introduction to formal philosophy, 191-237, 2018 | 5 | 2018 |
Logic of informal provability with truth values P Pawlowski, R Urbaniak Logic Journal of the IGPL 31 (1), 172-193, 2023 | 2 | 2023 |
8 valued non-deterministic semantics for modal logics P Pawlowski, D Skurt Journal of Philosophical Logic 53 (2), 351-371, 2024 | 1 | 2024 |
Non-deterministic logic of informal provability has no finite characterization P Pawlowski Journal of Logic, Language and Information 30, 805-817, 2021 | 1 | 2021 |
Proof systems for BAT consequence relations P Pawlowski Logic Journal of the IGPL 26 (1), 96-108, 2018 | 1 | 2018 |
Beyond transparency and explainability: on the need for adequate and contextualized user guidelines for LLM use KG Barman, N Wood, P Pawlowski Ethics and Information Technology 26 (3), 47, 2024 | | 2024 |
☐ and◇ in eight-valued non-deterministic semantics for modal logics P Pawlowski, D Skurt Journal of Logic and Computation, exae010, 2024 | | 2024 |
Rigor and formalization P Pawlowski, K Zahidi Synthese 203 (3), 87, 2024 | | 2024 |
Informal provability and dialetheism P Pawlowski, R Urbaniak Theoria 89 (2), 204-215, 2023 | | 2023 |
Height of valuations in non-deterministic semantics for modal logic P Pawlowski JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS …, 2023 | | 2023 |
A note on height of valuations to Kearn's semantic for modal logic P Pawlowski Journal of Applied Logics-IfCoLog Journal, 2022 | | 2022 |
Informal provability, first-order BAT logic and first steps towards a formal theory of informal provability P Pawlowski, R Urbaniak Logic and Logical Philosophy 31 (3), 501-527, 2022 | | 2022 |
Informally provable, refutable or neither: a non-deterministic approach to informal provability P Pawlowski Ghent University, 2018 | | 2018 |
Philosophical Aspects of an Alleged Connection Between the Axiom of Choice and Predicting the Future P Pawlowski Applications of Formal Philosophy: The Road Less Travelled, 213-220, 2017 | | 2017 |
Logics of Provability R Urbaniak, P Pawlowski | | 2012 |