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