Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi.. Questo articolo non è disponibile.
Lingua: inglese
Editore: D. Reidel Publishing Company,, Dordrecht:, 1979
- Prima edizione
- Rilegato
- Usato
Venditore Heritage
Da: Grendel Books, ABAA/ILAB, Springfield, MA, U.S.A.Grendel Books, ABAA/ILAB
Venditore con 5 stelle
Venditore AbeBooks dal 1 maggio 1998
Non disponibile
Rilegato
Condizione: Usato - Quasi ottimo
EUR 59,82
Descrizione dell’articolo da parte del venditore
Volume 127 in the Synthese Library series. First edition. Near fine in a near fine (one short closed edge tear) dust jacket.
Codice articolo 89424
- Titolo
- Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi.
- Autore
- BOWEN, Kenneth A.
- Editore
- D. Reidel Publishing Company,, Dordrecht:
- Anno di pubblicazione
- 1979
- Condizione
- Near Fine
- Sovraccoperta
- Near Fine
- Rilegatura
- Hardcover
- Lingua
- inglese
- ISBN 10
- 9027709297
- ISBN 13
- 9789027709295
- Edizione
- prima edizione
- Cataloghi dei venditori
- General Nonfiction IV
Syntactic Considerations.- Modal Structures and Morphisms.- Validity.- Completeness.- Löwenheim-Skolem Theorems.- Ultraproducts.- Ultrafilter Pairs and Elementary Embeddings.- Direct Limits.- Model Extensions.- Inductive Theories.- Joint Consistency and Interpolation.- Model Completeness.- Finite Forcing.- Forcing and Model Completions.- Omitting Types and a Two-Cardinal Theorem.
"Riassunto" può appartenere a un’altra edizione di questo titolo.
Contenuti
Syntactic Considerations.- Modal Structures and Morphisms.- Validity.- Completeness.- Löwenheim-Skolem Theorems.- Ultraproducts.- Ultrafilter Pairs and Elementary Embeddings.- Direct Limits.- Model Extensions.- Inductive Theories.- Joint Consistency and Interpolation.- Model Completeness.- Finite Forcing.- Forcing and Model Completions.- Omitting Types and a Two-Cardinal Theorem.
"Descrizione articolo" può appartenere a un’altra edizione di questo titolo.
Risultati della ricerca per Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi.
Ci sono altre 8 copie di questo libroVisualizza tutti i risultati