Système d’information en philosophie des sciences
Information system on philosophy of science

ImprimerEnvoyer le lien

ARTICLE

Commutativity of Quantifiers in Varying-Domain Kripke Models

  • Pages : 9 à 30
  •  
  •  
  •  
  • Date de création : 04-01-2011
  • Dernière mise à jour : 02-11-2015

Résumé :

Anglais

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

 

Haut de page

Retour à la page précédente

Mentions légales © SIPS, 2021.
Dernière mise à jour : Vendredi 03 décembre 2021