Instellingen beheren
MENU
Over deze site
In English
Home
Onderzoekers
Projecten
Organisaties
Publicaties
Infrastructuur
Contact
Research Explorer
Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.
Onderzoeker
Pawel Pawlowski
Profiel
Projecten
Publicaties
Activiteiten
Prijzen & Erkenningen
18
Resultaten
2025
A Gödel-Dugundji-style theorem for the minimal structural logic
Pawel Pawlowski
Thomas M. Ferguson
Ethan Gertler
A1
Artikel in een tijdschrift
in
JOURNAL OF LOGIC AND COMPUTATION
2025
T-BAT semantics and its logics
Pawel Pawlowski
U
Artikel in een tijdschrift
in
Logique et Analyse
2025
☐ and ◇ in eight-valued non-deterministic semantics for modal logics
Pawel Pawlowski
Daniel Skurt
A1
Artikel in een tijdschrift
in
JOURNAL OF LOGIC AND COMPUTATION
2025
2024
8 valued non-deterministic semantics for modal logics
Pawel Pawlowski
Daniel Skurt
A1
Artikel in een tijdschrift
in
JOURNAL OF PHILOSOPHICAL LOGIC
2024
Beyond transparency and explainability : on the need for adequate and contextualized user guidelines for LLM use
Kristian Gonzalez Barman
Nathan Wood
Pawel Pawlowski
A1
Artikel in een tijdschrift
in
ETHICS AND INFORMATION TECHNOLOGY
2024
Rigor and formalization
Pawel Pawlowski
Karim Zahidi
A1
Artikel in een tijdschrift
in
SYNTHESE
2024
2023
Height of valuations in non-deterministic semantics for modal logic
Pawel Pawlowski
A2
Artikel in een tijdschrift
in
JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS
2023
Informal provability and dialetheism
Pawel Pawlowski
Rafal Urbaniak
A1
Artikel in een tijdschrift
in
THEORIA-A SWEDISH JOURNAL OF PHILOSOPHY
2023
Logic of informal provability with truth values
Pawel Pawlowski
Rafal Urbaniak
A1
Artikel in een tijdschrift
in
LOGIC JOURNAL OF THE IGPL
2023
2022
Informal provability, first-order BAT logic and first steps towards a formal theory of informal provability
Pawel Pawlowski
Rafal Urbaniak
A2
Artikel in een tijdschrift
in
LOGIC AND LOGICAL PHILOSOPHY
2022
Modular non-deterministic semantics for T, TB, S4, S5 and more
Pawel Pawlowski
Elio La Rosa
A1
Artikel in een tijdschrift
in
JOURNAL OF LOGIC AND COMPUTATION
2022
2021
Non-deterministic logic of informal provability has no finite characterization
Pawel Pawlowski
A1
Artikel in een tijdschrift
in
JOURNAL OF LOGIC LANGUAGE AND INFORMATION
2021
2020
Tree-like proof systems for finitely-many valued non-deterministic consequence relations
Pawel Pawlowski
A1
Artikel in een tijdschrift
in
LOGICA UNIVERSALIS
2020
2018
Informally provable, refutable or neither : a non-deterministic approach to informal provability
Pawel Pawlowski
Rafal Urbaniak
Joke Meheus
Proefschrift
2018
Logics of (formal and informal) provability
Rafal Urbaniak
Pawel Pawlowski
Hoofdstuk in een boek
in
Introduction to formal philosophy
2018
Many-valued logic of informal provability : a non-deterministic strategy
Pawel Pawlowski
Rafal Urbaniak
A1
Artikel in een tijdschrift
in
REVIEW OF SYMBOLIC LOGIC
2018
Proof systems for BAT consequence relations
Pawel Pawlowski
A1
Artikel in een tijdschrift
in
LOGIC JOURNAL OF THE IGPL
2018
2017
Philosophical aspects of an alleged connection between the axiom of choice and predicting the future
Pawel Pawlowski
Hoofdstuk in een boek
in
Applications of formal philosophy : the road less travelled
2017