Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi

Add to Wishlist

Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi

Paperback(1979)

$109.99

View All Available Formats & Editions

Paperback(1979)
$109.99

View All Available Formats & Editions

SHIP THIS ITEM

In stock. Ships in 1-2 days.
PICK UP IN STORE

Your local store may have stock of this item.

Available within 2 business hours

Want it Today?
Check Store Availability

Product Details

ISBN-13:	9789048183531
Publisher:	Springer Netherlands
Publication date:	12/23/2010
Series:	Synthese Library , #127
Edition description:	1979
Pages:	139
Product dimensions:	5.98(w) x 9.02(h) x 0.01(d)

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.

From the B&N Reads Blog

Page 1 of

Related collections and offers

Product Details

Table of Contents

Related Subjects

Customer Reviews