Pawel Pawlowski

From MaRDI portal
Person:2071577

Available identifiers

zbMath Open pawlowski.pawelMaRDI QIDQ2071577

List of research outcomes





PublicationDate of PublicationType
8 valued non-deterministic semantics for modal logics2024-04-16Paper
https://portal.mardi4nfdi.de/entity/Q61162632023-07-18Paper
Logic of informal provability with truth values2023-02-16Paper
Informal provability, first-order BAT logic and first steps towards a formal theory of informal provability2022-09-21Paper
Modular non-deterministic semantics for T, TB, S4, S5 and more2022-02-08Paper
Non-deterministic logic of informal provability has no finite characterization2022-01-28Paper
Tree-like proof systems for finitely-many valued non-deterministic consequence relations2021-02-17Paper
Proof systems for BAT consequence relations2019-06-24Paper
Many-valued logic of informal provability: a non-deterministic strategy2018-08-07Paper
Chosen digital signal processing procedures for hearing aids2008-11-21Paper

Research outcomes over time

This page was built for person: Pawel Pawlowski

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2071577&oldid=6605779"
Powered by MediaWiki