Connexive Restricted Quantification

Francez, N

Francez, N (corresponding author), Technion Israel Inst Technol, Comp Sci Dept, Haifa, Israel.

NOTRE DAME JOURNAL OF FORMAL LOGIC, 2020; 61 (3): 383

Abstract

This paper investigates the meaning of restricted quantification (RQ) (also known as binary quantification) when the embedded conditional (implication......

Full Text Link