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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

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

Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics II.Viorica Sofronie-Stokkermans - 2000 - Studia Logica 64 (2):151-172.
The uncaused beginning of the universe.Quentin Smith - 1988 - Philosophy of Science 55 (1):39-57.
Reflections on Skolem's Paradox.Timothy Bays - 2000 - Dissertation, University of California, Los Angeles
Computational complexity of some Ramsey quantifiers in finite models.Marcin Mostowski & Jakub Szymanik - 2007 - Bulletin of Symbolic Logic 13:281--282.
Classical and Intuitionistic Models of Arithmetic.Kai F. Wehmeier - 1996 - Notre Dame Journal of Formal Logic 37 (3):452-461.
Elements of Finite Model Theory.Leonid Libkin - 2004 - Springer.
Syntactic Preservation Theorems for Intuitionistic Predicate Logic.Jonathan Fleischmann - 2010 - Notre Dame Journal of Formal Logic 51 (2):225-245.
Objective time flow.Storrs McCall - 1976 - Philosophy of Science 43 (3):337-362.
A local hidden variable theory for the GHZ experiment.Laszlo E. Szabo & Arthur Fine - 2002 - Physics Letters A 295:229–240.
Constructions of classical models by means of Kripke models (survey).Bernd I. Dahn - 1979 - Studia Logica 38 (4):401 - 405.

Analytics

Added to PP
2009-01-28

Downloads
34 (#445,975)

6 months
5 (#544,079)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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

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