Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

AuthorBowen, Kenneth A. author
TitleModel Theory for Modal Logic [electronic resource] : Kripke Models for Modal Predicate Calculi / by Kenneth A. Bowen
ImprintDordrecht : Springer Netherlands : Imprint: Springer, 1979
Connect tohttp://dx.doi.org/10.1007/978-94-015-7642-0
Descript X, 139 p. 1 illus. online resource

CONTENT

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


Philosophy Logic Philosophy Logic



Location



Office of Academic Resources, Chulalongkorn University, Phayathai Rd. Pathumwan Bangkok 10330 Thailand

Contact Us

Tel. 0-2218-2929,
0-2218-2927 (Library Service)
0-2218-2903 (Administrative Division)
Fax. 0-2215-3617, 0-2218-2907

Social Network

  line

facebook   instragram