View of Qiana: A First-Order Formalism to Quantify over Contexts and Formulas with Temporality

Return to Article Details Qiana: A First-Order Formalism to Quantify over Contexts and Formulas with Temporality Download Download PDF