June 13, 2021

The publications below are listed by date.

Ben-Yami, Hanoch 2014. The Quantified Argument Calculus. The Review of Symbolic Logic 7(1): 120–146, doi:10.1017/S1755020313000373, published online 22 Jan 2014.

Raab, Jonas 2016. The Relationship of QUARC and Classical Logic. Master’s thesis, LMU, Munich.

Lanzet, Ran 2017. A Three-valued Quantified Argument Calculus: Domain-free Model-theory, Completeness, and Embedding of FOL. The Review of Symbolic Logic 10(3): 549–582, doi:10.1017/S1755020317000053, published online 08 May 2017.

Pavlović, Edi 2017. The Quantified Argument Calculus: An Inquiry into Its Logical Properties and Applications. PhD thesis, Central European University, Budapest.

Raab, Jonas 2018. Aristotle, Logic, and QUARC. History and Philosophy of Logic 39(4): 305–340, doi:10.1080/01445340.2018.1467198, published online 29 May 2018.

Pavlović, Edi & Gratzl, Norbert 2019. Proof-theoretic Analysis of the Quantified Argument CalculusThe Review of Symbolic Logic 12(4): 607–636, doi:10.1017/S1755020318000114, published online 10 June 2019.

Pavlović, Edi & Gratzl, Norbert 2019. Free Logic and the Quantified Argument Calculus. In Mras, G. M., Weingartner, P. & Ritter, B., editors, Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium. Volume 27: 105–115. Walter de Gruyter GmbH. doi:10.1515/9783110657883-007.

Ben-Yami, Hanoch 2021. The Barcan Formulas and Necessary Existence: The View from Quarc. Synthese 198: 11029–11064, doi:10.1007/s11229-020-02771-4, published online 18 July 2020.

Pavlović, Edi & Gratzl, Norbert 2021. Abstract Forms of Quantification in the Quantified Argument CalculusThe Review of Symbolic Logic, 1–32, doi:10.1017/S175502032100006X, published online 08 March 2021.

Ben-Yami, Hanoch. Forthcoming. The Quantified Argument Calculus and Natural Logic. Dialectica.



The works listed below predate the development of the Quarc formal system, first published in (Ben‑Yami 2014), although the ones contained in (Lanzet & Ben-Yami 2004) and (Lanzet 2006) are close to it and contain some results transferable to it. (Ben‑Yami 2004) allots an essential role in the development of the alternative logic to the notion of plural reference, as do some other works listed below, a notion which later became redundant for this purpose. All the same, these works contain some investigations relevant to Quarc which are not found in later works, as well as comparisons with other systems – primarily plural quantification logic and generalised quantifiers – which are applicable with little modification to Quarc as well and which also are not contained in later publications.

Ben-Yami, Hanoch 2004. Logic & Natural Language: On Plural Reference and Its Semantic and Logical Significance. Routledge, doi:10.4324/9781315250267.

Lanzet, Ran & Ben-Yami, Hanoch 2004. Logical Inquiries into a New Formal System with Plural Reference. In Hendricks et al. (eds.): First-Order Logic Revisited. Berlin, Logos Verlag: 173–223.

Ben-Yami, Hanoch 2004. New Semantics and Deductive System for Natural Language. In L. Behounek (ed.): Logica Yearbook 2003. Prague: Filosofia: 59–71.

Lanzet, Ran 2006. An Alternative Logical Calculus, Based on an Analysis of Quantification as Involving Plural Reference. Master’s thesis, Tel-Aviv University.

Ben-Yami, Hanoch 2009. Plural Quantification Logic: A Critical Appraisal. The Review of Symbolic Logic 2(1): 208–232, doi:10.1017/S1755020309090108.

Ben-Yami, Hanoch 2009. Generalized Quantifiers, and Beyond. Logique et Analyse 52(208): 309–326.

Westerståhl, Dag 2012. Explaining Quantifier Restriction: Reply to Ben-Yami. Logique et Analyse 55(217): 109–120.

Ben-Yami, Hanoch 2012. Response to Westerståhl. Logique et Analyse 55(217): 47–55.