Research Explorer

Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.

Researcher

Pawel Pawlowski

Awards & Distinctions

18 Results

2025

A Gödel-Dugundji-style theorem for the minimal structural logic

Pawel PawlowskiThomas M. FergusonEthan Gertler

A1 Journal Article in JOURNAL OF LOGIC AND COMPUTATION

T-BAT semantics and its logics

Pawel Pawlowski

U Journal Article in Logique et Analyse

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

Pawel PawlowskiDaniel Skurt

A1 Journal Article in JOURNAL OF LOGIC AND COMPUTATION

2024

8 valued non-deterministic semantics for modal logics

Pawel PawlowskiDaniel Skurt

A1 Journal Article in JOURNAL OF PHILOSOPHICAL LOGIC

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

Kristian Gonzalez BarmanNathan WoodPawel Pawlowski

A1 Journal Article in ETHICS AND INFORMATION TECHNOLOGY

Rigor and formalization

Pawel PawlowskiKarim Zahidi

A1 Journal Article in SYNTHESE

2023

Height of valuations in non-deterministic semantics for modal logic

Pawel Pawlowski

A2 Journal Article in JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS

Informal provability and dialetheism

Pawel PawlowskiRafal Urbaniak

A1 Journal Article in THEORIA-A SWEDISH JOURNAL OF PHILOSOPHY

Logic of informal provability with truth values

Pawel PawlowskiRafal Urbaniak

A1 Journal Article in LOGIC JOURNAL OF THE IGPL

2022

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

Pawel PawlowskiRafal Urbaniak

A2 Journal Article in LOGIC AND LOGICAL PHILOSOPHY

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

Pawel PawlowskiElio La Rosa

A1 Journal Article in JOURNAL OF LOGIC AND COMPUTATION

2021

Non-deterministic logic of informal provability has no finite characterization

Pawel Pawlowski

A1 Journal Article in JOURNAL OF LOGIC LANGUAGE AND INFORMATION

2020

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

Pawel Pawlowski

A1 Journal Article in LOGICA UNIVERSALIS

2018

Informally provable, refutable or neither : a non-deterministic approach to informal provability

Pawel PawlowskiRafal UrbaniakJoke Meheus

Logics of (formal and informal) provability

Rafal UrbaniakPawel Pawlowski

Bookchapter in Introduction to formal philosophy

Many-valued logic of informal provability : a non-deterministic strategy

Pawel PawlowskiRafal Urbaniak

A1 Journal Article in REVIEW OF SYMBOLIC LOGIC

Proof systems for BAT consequence relations

Pawel Pawlowski

A1 Journal Article in LOGIC JOURNAL OF THE IGPL

2017

Philosophical aspects of an alleged connection between the axiom of choice and predicting the future

Pawel Pawlowski

Bookchapter in Applications of formal philosophy : the road less travelled