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 |
|---|---|---|
| Counterfactual assumptions and counterfactual implications | 2024-10-01 | Paper |
| Negative predication and distinctness Logica Universalis | 2023-05-04 | Paper |
| Intuitionistic multi-agent subatomic natural deduction for belief and knowledge Journal Of Logic And Computation | 2021-09-22 | Paper |
| Subatomic negation Journal of Logic, Language and Information | 2021-06-25 | Paper |
| Subatomic natural deduction for a naturalistic first-order language with non-primitive identity Journal of Logic, Language and Information | 2017-08-07 | Paper |
| Constructive belief reports Synthese | 2017-03-08 | Paper |
| Refinements of subatomic natural deduction Journal Of Logic And Computation | 2017-01-31 | Paper |
| A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions Studia Logica | 2012-12-04 | Paper |
| Rules for subatomic derivation The Review of Symbolic Logic | 2011-10-21 | Paper |
| Associative substitutional semantics and quantified modal logic Studia Logica | 2010-04-26 | Paper |
Research outcomes over time
This page was built for person: Bartosz Więckowski