Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

Auteur(s) : Bowen, Kenneth A.  Voir les notices liées en tant qu'auteur

Titre(s) : Model theory for modal logic [Texte imprimé] : Kripke models for modal predicate calculi / Kenneth A. Bowen,...

Publication : Dordrecht : D. Reidel, cop. 1979

Description matérielle : X-127 p. ; 23 cm

Collection : Synthese library ; 127

Lien à la collection : Boston studies in the philosophy of science  Voir toutes les notices liées

Note(s) : Bibliogr. p. 119-122. Index

Sujet(s) : Théorie des modèles  Voir les notices liées en tant que sujet
Modalité (logique)  Voir les notices liées en tant que sujet
Calcul des prédicats  Voir les notices liées en tant que sujet

Indice(s) Dewey :  511.34 (23e éd.) = Théorie des modèles (mathématiques)  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9027709297

Identifiant de la notice  : ark:/12148/cb373579211

Notice n° :  FRBNF37357921