Commutativity of Quantifiers in Varying-Domain Kripke Models

Back to previous page
Send link

Article

    • Pages: 9 to 30
    •  
    •  
    • ISBN: 978-1-4020-9083-7
    •  
    • Creation date: 04-01-2011
    • Last update: 02-11-2015

    Abstract

    Anglais

    Introduction and Overview; – Model Structures; – Premodels and Models; – Soundness and M-Equivalence; – Validating CQ; – A Countermodel to CQ; – Completeness and the Barcan Formulas.

    Keywords

    Commutativité Modèle