Pawel Pawlowski

MaRDI QIDQ2071577zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
T-BAT semantics and its logics Logique et Analyse. Nouvelle Série	2026-08-26	Paper
Boolean and modal connectives as primitives in non-deterministic semantics Logic Journal of the IGPL	2026-07-28	Paper
Nondeterministic first-order T-BAT logic Logic Journal of the IGPL	2026-06-02	Paper
Rigor and formalization Synthese	2026-03-31	Paper
A Gödel-Dugundji-style theorem for the minimal structural logic Journal of Logic and Computation	2025-10-29	Paper
RNmatrices for modal logics The Review of Symbolic Logic	2025-10-21	Paper
and in eight-valued non-deterministic semantics for modal logics Journal of Logic and Computation	2025-10-15	Paper
Modal logics -- RNmatrices vs. Nmatrices	2025-09-03	Paper
8 valued non-deterministic semantics for modal logics Journal of Philosophical Logic	2024-04-16	Paper
scientific article; zbMATH DE number 7713503 (Why is no real title available?)	2023-07-18	Paper
Logic of informal provability with truth values Logic Journal of the IGPL	2023-02-16	Paper
Informal provability, first-order BAT logic and first steps towards a formal theory of informal provability Logic and Logical Philosophy	2022-09-21	Paper
Modular non-deterministic semantics for T, TB, S4, S5 and more Journal Of Logic And Computation	2022-02-08	Paper
Non-deterministic logic of informal provability has no finite characterization Journal of Logic, Language and Information	2022-01-28	Paper
Tree-like proof systems for finitely-many valued non-deterministic consequence relations Logica Universalis	2021-02-17	Paper
Proof systems for BAT consequence relations Logic Journal of the IGPL	2019-06-24	Paper
Many-valued logic of informal provability: a non-deterministic strategy The Review of Symbolic Logic	2018-08-07	Paper
Chosen digital signal processing procedures for hearing aids	2008-11-21	Paper

Research outcomes over time

This page was built for person: Pawel Pawlowski