Structured nonstandard dynamic logic

Mathematical Logic Quarterly 30 (31):481-497 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19840303102

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

An axiomatic presentation of the nonstandard methods in mathematics.Mauro Di Nasso - 2002 - Journal of Symbolic Logic 67 (1):315-325.
Nonstandard characterizations of recursive saturation and resplendency.Stuart T. Smith - 1987 - Journal of Symbolic Logic 52 (3):842-863.
Nonstandard set theory.Peter Fletcher - 1989 - Journal of Symbolic Logic 54 (3):1000-1008.
A Nonstandard Delta Function in a Predicative Theory.Peter Zahn - 1995 - Mathematical Logic Quarterly 41 (2):257-260.
A nonstandard set theory in the $\displaystyle\in$ -language.Vladimir Kanovei & Michael Reeken - 2000 - Archive for Mathematical Logic 39 (6):403-416.
Exhibiting Wide Families of Maximal Intermediate Propositional Logics with the Disjunction Property.Guido Bertolotti, Pierangelo Miglioli & Daniela Silvestrini - 1996 - Mathematical Logic Quarterly 42 (1):501-536.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
Pseudo-Superstructures as Nonstandard Universes.Mauro Di Nasso - 1998 - Journal of Symbolic Logic 63 (1):222 - 236.
Standard sets in nonstandard set theory.Petr Andreev & Karel Hrbacek - 2004 - Journal of Symbolic Logic 69 (1):165-182.
Nonstandard natural number systems and nonstandard models.Shizuo Kamo - 1981 - Journal of Symbolic Logic 46 (2):365-376.
Dynamic negation, the one and only.Marco Hollenberg & Albert Visser - 1999 - Journal of Logic, Language and Information 8 (2):137-141.
A definable nonstandard enlargement.Frederik Herzberg - 2008 - Mathematical Logic Quarterly 54 (2):167-175.
F-products and nonstandard hulls for semigroups.J. Kellner - 2004 - Mathematical Logic Quarterly 50 (1):18.
Addendum to “A definable nonstandard enlargement”.Frederik Herzberg - 2008 - Mathematical Logic Quarterly 54 (6):666-667.

Analytics

Added to PP
2013-12-01

Downloads
8 (#1,287,956)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Handbook of Philosophical Logic.Dov M. Gabbay & Franz Guenthner (eds.) - 1983 - Dordrecht, Netherland: Kluwer Academic Publishers.
Application of modal logic to programming.Vaughan R. Pratt - 1980 - Studia Logica 39 (2-3):257 - 274.

Add more references