Pawel Pawlowski

Available identifiers

zbMath Open pawlowski.pawelMaRDI QIDQ2071577

List of research outcomes

Publication	Date of Publication	Type
8 valued non-deterministic semantics for modal logics	2024-04-16	Paper
https://portal.mardi4nfdi.de/entity/Q6116263	2023-07-18	Paper
Logic of informal provability with truth values	2023-02-16	Paper
Informal provability, first-order BAT logic and first steps towards a formal theory of informal provability	2022-09-21	Paper
Modular non-deterministic semantics for T, TB, S4, S5 and more	2022-02-08	Paper
Non-deterministic logic of informal provability has no finite characterization	2022-01-28	Paper
Tree-like proof systems for finitely-many valued non-deterministic consequence relations	2021-02-17	Paper
Proof systems for BAT consequence relations	2019-06-24	Paper
MANY-VALUED LOGIC OF INFORMAL PROVABILITY: A NON-DETERMINISTIC STRATEGY	2018-08-07	Paper
https://portal.mardi4nfdi.de/entity/Q3536408	2008-11-21	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Pawel Pawlowski