Ghent University Academic Bibliography

Your filters: cql: author exact 3A48C4E6-F0EE-11E1-A9DE-61C894A0A6B4 or (type any "bookEditor issueEditor" and edito... cql: subject exact "Philosophy and Religion"

Add to list
☐ and ◇ in eight-valued non-deterministic semantics for modal logics

Pawel Pawlowski (UGent) and Daniel Skurt

(2025) JOURNAL OF LOGIC AND COMPUTATION. 35(2).
Add to list
Rigor and formalization

Pawel Pawlowski (UGent) and Karim Zahidi (UGent)

(2024) SYNTHESE. 203.
Add to list
8 valued non-deterministic semantics for modal logics

Pawel Pawlowski (UGent) and Daniel Skurt

(2024) JOURNAL OF PHILOSOPHICAL LOGIC. 53(2). p.351-371
Add to list
Beyond transparency and explainability : on the need for adequate and contextualized user guidelines for LLM use

Kristian Gonzalez Barman (UGent) , Nathan Wood (UGent) and Pawel Pawlowski (UGent)

(2024) ETHICS AND INFORMATION TECHNOLOGY. 26(3).
Add to list
Logic of informal provability with truth values

Pawel Pawlowski (UGent) and Rafal Urbaniak (UGent)

(2023) LOGIC JOURNAL OF THE IGPL. 31(1). p.172-193
Add to list
Height of valuations in non-deterministic semantics for modal logic

Pawel Pawlowski (UGent)

(2023) JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS. 10(4). p.587-601
Add to list
- Journal Article
- A1
- open access
Informal provability and dialetheism

Pawel Pawlowski (UGent) and Rafal Urbaniak (UGent)

(2023) THEORIA-A SWEDISH JOURNAL OF PHILOSOPHY. 89(2). p.204-215
Add to list
Modular non-deterministic semantics for T, TB, S4, S5 and more

Pawel Pawlowski (UGent) and Elio La Rosa

(2022) JOURNAL OF LOGIC AND COMPUTATION. 32(1). p.158-171
Add to list
- Journal Article
- A2
- open access
Informal provability, first-order BAT logic and first steps towards a formal theory of informal provability

Pawel Pawlowski (UGent) and Rafal Urbaniak (UGent)

(2022) LOGIC AND LOGICAL PHILOSOPHY. 31(3). p.501-527
Add to list
- Journal Article
- A1
- open access
Tree-like proof systems for finitely-many valued non-deterministic consequence relations

Pawel Pawlowski (UGent)

(2020) LOGICA UNIVERSALIS. 14(4). p.407-420

Academic Bibliography

☐ and ◇ in eight-valued non-deterministic semantics for modal logics

Rigor and formalization

8 valued non-deterministic semantics for modal logics

Beyond transparency and explainability : on the need for adequate and contextualized user guidelines for LLM use

Logic of informal provability with truth values

Height of valuations in non-deterministic semantics for modal logic

Informal provability and dialetheism

Modular non-deterministic semantics for T, TB, S4, S5 and more

Informal provability, first-order BAT logic and first steps towards a formal theory of informal provability

Tree-like proof systems for finitely-many valued non-deterministic consequence relations

Contents

Support

Contact