Model Theory for Modal Logic [electronic resource] : Kripke Models for Modal Predicate Calculi / by K.A. Bowen.

За: Інтелектуальна відповідальність: Вид матеріалу: Текст Серія: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 127Публікація: Dordrecht : Springer Netherlands : Imprint: Springer, 1979Видання: 1st ed. 1979Опис: X, 139 p. 1 illus. online resourceТип вмісту:
  • text
Тип засобу:
  • computer
Тип носія:
  • online resource
ISBN:
  • 9789401576420
Тематика(и): Додаткові фізичні формати: Printed edition:: Немає назви; Printed edition:: Немає назви; Printed edition:: Немає назвиДесяткова класифікація Дьюї:
  • 160 23
Класифікація Бібліотеки Конгресу:
  • BC1-199
Електронне місцезнаходження та доступ:
Вміст:
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.
У: Springer Nature eBook
Тип одиниці:
Мітки з цієї бібліотеки: Немає міток з цієї бібліотеки для цієї назви. Ввійдіть, щоб додавати мітки.
Оцінки зірочками
    Середня оцінка: 0.0 (0 голос.)
Немає реальних примірників для цього запису

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.

Немає коментарів для цієї одиниці.

для можливості публікувати коментарі.