Bartosz Więckowski

Available identifiers

zbMath Open wieckowski.bartoszMaRDI QIDQ514083

List of research outcomes

Publication	Date of Publication	Type
Counterfactual assumptions and counterfactual implications	2024-10-01	Paper
Negative predication and distinctness	2023-05-04	Paper
Intuitionistic multi-agent subatomic natural deduction for belief and knowledge	2021-09-22	Paper
Subatomic negation	2021-06-25	Paper
Subatomic natural deduction for a naturalistic first-order language with non-primitive identity	2017-08-07	Paper
Constructive belief reports	2017-03-08	Paper
Refinements of subatomic natural deduction	2017-01-31	Paper
A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions	2012-12-04	Paper
RULES FOR SUBATOMIC DERIVATION	2011-10-21	Paper
Associative substitutional semantics and quantified modal logic	2010-04-26	Paper

Research outcomes over time

This page was built for person: Bartosz Więckowski