1 résultat(s) recherche sur le mot-clé 'normal modal system'

a Companion to modal logic / Hughes, G.E.

Public ISBD Titre : a Companion to modal logic Type de document : texte imprimé Auteurs : Hughes, G.E. ; Cresswell, M.J. Editeur : London : Methuen Année de publication : 1984 Collection : University Paperbacks num. 867 Importance : xvii - 203 p. ISBN/ISSN/EAN : 978-0-416-37510-7 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03BXX General logic:03B45 Modal logic 03-XX Mathematical logic and foundations:03CXX Model theory:03C90 Nonclassical models (Boolean-valued, sheaf, etc.) Mots-clés : finite model property  frame  canonical model  normal modal system  modal logic Index. décimale : 03C Monographie a Companion to modal logic [texte imprimé] / Hughes, G.E. ; Cresswell, M.J. . - London : Methuen, 1984 . - xvii - 203 p.. - (University Paperbacks; 867) . ISBN : 978-0-416-37510-7 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03BXX General logic:03B45 Modal logic 03-XX Mathematical logic and foundations:03CXX Model theory:03C90 Nonclassical models (Boolean-valued, sheaf, etc.) Mots-clés : finite model property  frame  canonical model  normal modal system  modal logic Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
15962	03C156	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible