Bartosz Wieckowski

14 papers Journal 13Unranked 1

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	On the Proof-Theoretic Structure of Counterfactual Inference. Bull. Symb. Log. Bartosz Wieckowski
2025	J	`jnl`	Oiva Ketonen, Investigations into the Predicate Calculus, vol. 3 of Logic PhDs, Sara Negri, and Jan von Plato, (eds.), College Publications, 2022, pp. 130+vii; ISBN 978-1-84890-407-1. Stud Logica Bartosz Wieckowski
2024	—	`conf`	Incomplete Descriptions and Qualified Definiteness. NCL Bartosz Wieckowski
2023	J	`jnl`	Negative Predication and Distinctness. Logica Universalis Bartosz Wieckowski
2021	J	`jnl`	Intuitionistic multi-agent subatomic natural deduction for belief and knowledge. J. Log. Comput. Bartosz Wieckowski
2021	J	`jnl`	Subatomic Negation. J. Log. Lang. Inf. Bartosz Wieckowski
2017	J	`jnl`	A Proof Theory for First-order Logic with Definiteness. FLAP Nissim Francez, Bartosz Wieckowski
2016	J	`jnl`	Refinements of subatomic natural deduction. J. Log. Comput. Bartosz Wieckowski
2016	J	`jnl`	Subatomic Natural Deduction for a Naturalistic First-Order Language with Non-Primitive Identity. J. Log. Lang. Inf. Bartosz Wieckowski
2015	J	`jnl`	Constructive belief reports. Synth. Bartosz Wieckowski
2012	J	`jnl`	A Constructive Type-Theoretical Formalism for the Interpretation of Subatomically Sensitive Natural Language Constructions. Stud Logica Bartosz Wieckowski
2011	J	`jnl`	Rules for subatomic Derivation. Rev. Symb. Log. Bartosz Wieckowski
2010	J	`jnl`	Associative Substitutional Semantics and Quantified Modal Logic. Stud Logica Bartosz Wieckowski
2007	J	`jnl`	Book Reviews. Stud Logica Bartosz Wieckowski