A defense of branching quantification
From MaRDI portal
Publication:1313374
DOI10.1007/BF01063880zbMath0790.03003MaRDI QIDQ1313374
Publication date: 26 January 1994
Published in: Synthese (Search for Journal in Brave)
expressive powerfirst-order languagegame- theoretical semanticsbranching quantificationsecond-order semantics for finite partially ordered quantification
Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10)
Related Items
Cites Work