Return to Article Details A Modal-tense Sortal Logic with Variable-Domain Second-order Quantification Download Download PDF