On the Expressive Power of Equality-Free First Order Languages

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (19-24):371-375 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19860321911

Links

PhilArchive



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

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

On the Expressive Power of Equality‐Free First Order Languages.P. Ecsedi‐Tóth - 1986 - Mathematical Logic Quarterly 32 (19‐24):371-375.
Expressivity of Imperfect Information Logics without Identity.Antti Kuusisto - 2013 - Studia Logica 101 (2):237-265.
A note on the expressive power of probabilistic context free grammars.Gabriel Infante-Lopez & Maarten De Rijke - 2006 - Journal of Logic, Language and Information 15 (3):219-231.
Hybrid languages.Patrick Blackburn & Jerry Seligman - 1995 - Journal of Logic, Language and Information 4 (3):251-272.
On fork arrow logic and its expressive power.Paulo A. S. Veloso, Renata P. de Freitas, Petrucio Viana, Mario Benevides & Sheila R. M. Veloso - 2007 - Journal of Philosophical Logic 36 (5):489 - 509.
Thinking in a Coordinate-Free Way about Relations.Joop Leo - 2014 - Dialectica 68 (2):263-282.
On Fork Arrow Logic and Its Expressive Power.Paulo A. S. Veloso, Renata P. De Freitas, Petrucio Viana, Mario Benevides & Sheila R. M. Veloso - 2007 - Journal of Philosophical Logic 36 (5):489 - 509.
Equality-free logic: the method of diagrams and preservation theorems.P. Dellunde - 1999 - Logic Journal of the IGPL 7 (6):717-732.
Infinitary languages.John Bell - manuscript
Spectra of Formulae with Henkin Quantifiers.Joanna Golińska & Konrad Zdanowski - 2003 - In A. Rojszczak, J. Cachro & G. Kurczewski (eds.), Philosophical Dimensions of Logic and Science. Kluwer Academic Publishers. pp. 29--45.
Expressivity in polygonal, plane mereotopology.Ian Pratt & Dominik Schoop - 2000 - Journal of Symbolic Logic 65 (2):822-838.
On Elementary Equivalence for Equality-free Logic.E. Casanovas, P. Dellunde & R. Jansana - 1996 - Notre Dame Journal of Formal Logic 37 (3):506-522.
The Expressive Power of Second-Order Propositional Modal Logic.Michael Kaminski & Michael Tiomkin - 1996 - Notre Dame Journal of Formal Logic 37 (1):35-43.
Infinitary logic.John L. Bell - 2008 - Stanford Encyclopedia of Philosophy.
On Minimal Models.Francicleber Ferreira & Ana Teresa Martins - 2007 - Logic Journal of the IGPL 15 (5-6):503-526.

Analytics

Added to PP
2015-12-02

Downloads
33 (#476,734)

6 months
1 (#1,498,742)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Mathematical logic.J. Donald Monk - 1976 - New York: Springer Verlag.
Model Theory.Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.
Mathematical Logic.Jeffrey B. Remmel - 1979 - Journal of Symbolic Logic 44 (2):283-284.

Add more references