关注
Pawel Pawlowski
Pawel Pawlowski
在 UGent.be 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Many-valued logic of informal provability: a non-deterministic strategy
P Pawlowski, R Urbaniak
The Review of Symbolic Logic 11 (2), 207-223, 2018
172018
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
102022
Tree-like proof systems for finitely-many valued non-deterministic consequence relations
P Pawlowski
Logica Universalis 14, 407-420, 2020
92020
Logics of (formal and informal) provability
R Urbaniak, P Pawlowski
Introduction to formal philosophy, 191-237, 2018
52018
Logic of informal provability with truth values
P Pawlowski, R Urbaniak
Logic Journal of the IGPL 31 (1), 172-193, 2023
22023
8 valued non-deterministic semantics for modal logics
P Pawlowski, D Skurt
Journal of Philosophical Logic 53 (2), 351-371, 2024
12024
Non-deterministic logic of informal provability has no finite characterization
P Pawlowski
Journal of Logic, Language and Information 30, 805-817, 2021
12021
Proof systems for BAT consequence relations
P Pawlowski
Logic Journal of the IGPL 26 (1), 96-108, 2018
12018
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
系统目前无法执行此操作,请稍后再试。
文章 1–18