On models with variable universe

Studia Logica 34 (1):11 - 23 (1975)
  Copy   BIBTEX

Abstract

In this paper some parts of the model theory for logics based on generalised Kripke semantics are developed. Löwenheim-Skolem theorems and some applications of ultraproduct constructions for generalised Kripke models with variable universe are investigated using similar theorems of the model theory for classical logic. The results are generalizations of the theorems of [4].

Categories

Keywords

Reprint years

DOI

10.1007/bf02314420

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,337

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Constructions of classical models by means of Kripke models (survey).Bernd I. Dahn - 1979 - Studia Logica 38 (4):401 - 405.
Some Connections between Topological and Modal Logic.Kurt Engesser - 1995 - Mathematical Logic Quarterly 41 (1):49-64.
On Some Completeness Theorems in Modal Logic.D. Makinson - 1966 - Mathematical Logic Quarterly 12 (1):379-384.
Some Remarks on Finite Löwenheim‐Skolem Theorems.Martin Grohe - 1996 - Mathematical Logic Quarterly 42 (1):569-571.
Some results on Kripke models over an arbitrary fixed frame.Seyed Mohammad Bagheri & Morteza Moniri - 2003 - Mathematical Logic Quarterly 49 (5):479-484.
The Skolem-löwenheim theorem in toposes.Marek Zawadowski - 1983 - Studia Logica 42 (4):461 - 475.
Boolean Valued Models, Boolean Valuations, and Löwenheim-Skolem Theorems.Xinhe Wu - 2023 - Journal of Philosophical Logic 53 (1):293-330.
The Skolem-löwenheim theorem in toposes. II.Marek Zawadowski - 1985 - Studia Logica 44 (1):25 - 38.

Analytics

Added to PP
2009-01-28

Downloads
47 (#469,173)

6 months
10 (#407,001)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Partial isomorphisms and intuitionistic logic.Bernd I. Dahn - 1981 - Studia Logica 40 (4):405 - 413.
A note on generalized Kripke-models.Bernd Dahn - 1974 - Bulletin of the Section of Logic 3 (1):8-10.

Add more citations

References found in this work

Model Theory for Intuitionistic Logic.Dov M. Gabbay - 1972 - Mathematical Logic Quarterly 18 (4‐6):49-54.
Model Theory for Intuitionistic Logic.Dov M. Gabbay - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (4-6):49-54.
Contributions to the Model Theory for Non‐Classical Logics.Bernd Dahn - 1974 - Mathematical Logic Quarterly 20 (30):473-479.

Add more references