The non-definability notion and first order logic

Studia Logica 47 (4):429 - 437 (1988)
  Copy   BIBTEX

Abstract

The theorem to the effect that the languageL introduced in [2] is mutually interpretable with the first order language is proved. This yields several model-theoretical results concerningL.

Categories

Keywords

Reprint years

DOI

10.1007/bf00671571

Other Versions

No versions found

Links

PhilArchive



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

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

An introduction to the model theory of first-order predicate logic and a related temporal logic.Robert Mattison - 1968 - Santa Monica, Calif.,: Rand.
First-order fuzzy logic.Vilém Novák - 1987 - Studia Logica 46 (1):87 - 109.
On definability in multimodal logic.Joseph Y. Halpern, Dov Samet & Ella Segev - 2009 - Review of Symbolic Logic 2 (3):451-468.
On definability in multimodal logic: On definability in multimodal logic.Joseph Y. Halpern - 2009 - Review of Symbolic Logic 2 (3):451-468.
Existential definability of modal frame classes.Tin Perkov & Luka Mikec - 2020 - Mathematical Logic Quarterly 66 (3):316-325.
No non-trivial quasivariety of BCK-algebras has decidable first order theory.Marek Pałasiński - 1987 - Studia Logica 46 (4):343 - 345.
On the Proof-Theory of two Formalisations of Modal First-Order Logic.Yehuda Schwartz & George Tourlakis - 2010 - Studia Logica 96 (3):349-373.
First-Order Logic and First-Order Functions.Rodrigo A. Freire - 2015 - Logica Universalis 9 (3):281-329.
Some kinds of modal completeness.J. F. A. K. van Benthem - 1980 - Studia Logica 39 (2):125-141.
Some kinds of modal completeness.J. F. A. K. Benthem - 1980 - Studia Logica 39 (2-3):125 - 141.

Analytics

Added to PP
2009-01-28

Downloads
36 (#628,835)

6 months
9 (#489,609)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

On a Formalization of the Non‐Definedness Notion.Albert Hoogewijs - 1979 - Mathematical Logic Quarterly 25 (13‐18):213-217.
On a Formalization of the Non-Definedness Notion.Albert Hoogewijs - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (13-18):213-217.
The Calculus of Partial Predicates and Its Extension to Set Theory I.Hao Wang - 1961 - Mathematical Logic Quarterly 7 (17-18):283-288.
A partial predicate calculus in a two-valued logic.Albert Hoogewijs - 1983 - Mathematical Logic Quarterly 29 (4):239-243.

View all 7 references / Add more references