On the inadequacy of the relational semantic for the “until” operator

&
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):247-252 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19920380120

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,932

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 inadequacy of the relational semantic for the “until” operator.Fabio Bellissima & Alessandra Ciupi - 1992 - Mathematical Logic Quarterly 38 (1):247-252.
A Jump Operator in Set Recursion.Dag Normann - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (13-18):251-264.
Monomorphic Relational Systems.David Clark & Peter Krauss - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (13-15):229-235.
Algebraic Analysis of The Term Logic with Choice Operator.Dietrich Schwartz - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (22):345-352.
Semantic Tableaux for A Logic With Identity.Ermanno Bencivenga - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (16-17):241-247.
A Semantic Proof of the Eliminability of Descriptions.Elliott Mendelson - 1960 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 6 (7-14):199-200.
A Neighbourhood Frame for T with No Equivalent Relational Frame.Martin Gerson - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):29-34.
Elliott Mendelson. A semantic proof of the eliminability of descriptions. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 , pp. 199–200. - T. G. McLaughlin. A muted variation on a theme of Mendelson. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 57–60. [REVIEW]John Bacon - 1973 - Journal of Symbolic Logic 38 (4):660.
Levels of implication and type free theories of classifications with approximation operator.Andrea Cantini - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):107-141.
Topos based semantic for constructive logic with strong negation.Barbara Klunder & B. Klunder - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):509-519.

Analytics

Added to PP
2016-02-04

Downloads
39 (#398,074)

6 months
6 (#700,231)

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

Logic and time.John P. Burgess - 1979 - Journal of Symbolic Logic 44 (4):566-582.
On some u,s-tense logics.Ming Xu - 1988 - Journal of Philosophical Logic 17 (2):181 - 202.

Add more references