First Order Logics for Metric Structures

Mathematical Logic Quarterly 26 (1-6):77-88 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19800260109

Links

PhilArchive



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

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

First Order Logics for Metric Structures.Bernd I. Dahn - 1980 - Mathematical Logic Quarterly 26 (1‐6):77-88.
Decidability Results for Metric and Layered Temporal Logics.Angelo Montanari & Alberto Policriti - 1996 - Notre Dame Journal of Formal Logic 37 (2):260-282.
Theories of ω-layered metric temporal structures: expressiveness and decidability.A. Montanari, A. Peron & A. Policriti - 1999 - Logic Journal of the IGPL 7 (1):79-102.
Continuous first order logic for unbounded metric structures.Itaï Ben Yaacov - 2008 - Journal of Mathematical Logic 8 (2):197-223.
Decidable fragments of first-order temporal logics.Ian Hodkinson, Frank Wolter & Michael Zakharyaschev - 2000 - Annals of Pure and Applied Logic 106 (1-3):85-134.
Is the semantics of branching structures adequate for non-metric ockhamist tense logics?Hirokazu Nishimura - 1979 - Journal of Philosophical Logic 8 (1):477 - 478.
A modal logic framework for reasoning about comparative distances and topology.Mikhail Sheremet, Frank Wolter & Michael Zakharyaschev - 2010 - Annals of Pure and Applied Logic 161 (4):534-559.
Transfers between logics and their applications.M. E. Coniglio & W. A. Carnielli - 2002 - Studia Logica 72 (3):367-400.
The taming of the states.A. Montanari, A. Peron & A. Policriti - 2000 - Logic Journal of the IGPL 8 (5):681-699.
Concrete incompleteness from efa through large cardinals.Harvey M. Friedman - unknown
Isomorphism of Homogeneous Structures.John D. Clemens - 2009 - Notre Dame Journal of Formal Logic 50 (1):1-22.
Reduced products and sheaves of metric structures.Vinicius Cifú Lopes - 2013 - Mathematical Logic Quarterly 59 (3):219-229.
A Łoś type theorem for linear metric formulas.Seyed-Mohammad Bagheri - 2010 - Mathematical Logic Quarterly 56 (1):78-84.
Supersound many-valued logics and Dedekind-MacNeille completions.Matteo Bianchi & Franco Montagna - 2009 - Archive for Mathematical Logic 48 (8):719-736.
Some model-theoretic correspondences between dimension groups and AF algebras.Philip Scowcroft - 2011 - Annals of Pure and Applied Logic 162 (9):755-785.

Analytics

Added to PP
2015-12-02

Downloads
32 (#488,786)

6 months
6 (#512,819)

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

Some applications of model theory in Banach space theory.Jacques Stern - 1976 - Annals of Mathematical Logic 9 (1):49.

Add more references