4 résultat(s) recherche sur le mot-clé 'modal logic'

an Introduction to modal logic / Hughes, G.D.

Public ISBD Titre : an Introduction to modal logic Type de document : texte imprimé Auteurs : Hughes, G.D. ; Cresswell, M.J. Editeur : London : Methuen Année de publication : 1968 Collection : University Paperbacks num. 431 Importance : xii - 388 p. ISBN/ISSN/EAN : 978-0-416-29460-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B45 Modal logic Mots-clés : modal logic  predicate logic  propositional logic Index. décimale : 03C Monographie an Introduction to modal logic [texte imprimé] / Hughes, G.D. ; Cresswell, M.J. . - London : Methuen, 1968 . - xii - 388 p.. - (University Paperbacks; 431) . ISBN : 978-0-416-29460-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B45 Modal logic Mots-clés : modal logic  predicate logic  propositional logic Index. décimale : 03C Monographie

Exemplaires

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

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

Intensional and higher-order modal logic / Gallin, D.

Public ISBD Titre : Intensional and higher-order modal logic : with applications to Montague semantics Type de document : texte imprimé Auteurs : Gallin, D. Editeur : Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc Année de publication : 1975 Collection : Mathematics Studies num. 19 Importance : vii - 148 p. ISBN/ISSN/EAN : 978-0-7204-0360-2 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 Mots-clés : mathematical logic  modal logic Index. décimale : 03C Monographie Intensional and higher-order modal logic : with applications to Montague semantics [texte imprimé] / Gallin, D. . - Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc, 1975 . - vii - 148 p.. - (Mathematics Studies; 19) . ISBN : 978-0-7204-0360-2 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 Mots-clés : mathematical logic  modal logic Index. décimale : 03C Monographie

Exemplaires

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

Basic proof theory / Troelstra, A.

Public ISBD Titre : Basic proof theory Type de document : texte imprimé Auteurs : Troelstra, A. ; Schwichtenberg, H. Mention d'édition : 2nd ed. Editeur : Cambridge : Cambridge University Press Année de publication : 2000 Collection : Cambridge Tracts in Computer Sciences num. 43 Importance : xii - 417 p. ISBN/ISSN/EAN : 978-0-521-77911-1 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 03-XX Mathematical logic and foundations:03BXX General logic:03B45 Modal logic 03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer science 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F03 Proof theory, general 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F05 Cut-elimination and normal-form theorems 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F30 First-order arithmetic and fragments 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F35 Second- and higher-order arithmetic and fragments 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 68-XX Computer science :68NXX Software:68N17 Logic programming Mots-clés : apartness  e-logic  multi-succedent intuitionistic sequent calculus  kleene-style sequent calculus  logic programming  connections with computer science  first-order arithmetic  modal logic  hilbert-style system  resolution  second-order heyting arithmetic  linear logic  coherence theorem  categorical logic  formulas-as-types relation  combinatory logic  type theory  interpolation  strong normalization  cut elimination  gentzen type system  sequent calculus  natural deduction system  intuitionistic logic  classical logic  minimal logic  proof theory Index. décimale : 03C Monographie Basic proof theory [texte imprimé] / Troelstra, A. ; Schwichtenberg, H.  . -  2nd ed. . - Cambridge : Cambridge University Press, 2000 . - xii - 417 p.. - (Cambridge Tracts in Computer Sciences; 43) . ISBN : 978-0-521-77911-1 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 03-XX Mathematical logic and foundations:03BXX General logic:03B45 Modal logic 03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer science 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F03 Proof theory, general 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F05 Cut-elimination and normal-form theorems 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F30 First-order arithmetic and fragments 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F35 Second- and higher-order arithmetic and fragments 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 68-XX Computer science :68NXX Software:68N17 Logic programming Mots-clés : apartness  e-logic  multi-succedent intuitionistic sequent calculus  kleene-style sequent calculus  logic programming  connections with computer science  first-order arithmetic  modal logic  hilbert-style system  resolution  second-order heyting arithmetic  linear logic  coherence theorem  categorical logic  formulas-as-types relation  combinatory logic  type theory  interpolation  strong normalization  cut elimination  gentzen type system  sequent calculus  natural deduction system  intuitionistic logic  classical logic  minimal logic  proof theory Index. décimale : 03C Monographie

Exemplaires

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