Structured nonstandard dynamic logic

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 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,709

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

Structured nonstandard dynamic logic.Ildikó Sain - 1984 - Mathematical Logic Quarterly 30 (31):481-497.
Total correctness in nonstandard dynamic logic.Ildiko Sain - 1983 - Bulletin of the Section of Logic 12 (2):64-68.
A Nonstandard Delta Function in a Predicative Theory.Peter Zahn - 1995 - Mathematical Logic Quarterly 41 (2):257-260.
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 set theory in the $\displaystyle\in$ -language.Vladimir Kanovei & Michael Reeken - 2000 - Archive for Mathematical Logic 39 (6):403-416.
Pseudo-Superstructures as Nonstandard Universes.Mauro Di Nasso - 1998 - Journal of Symbolic Logic 63 (1):222 - 236.
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.
A definable nonstandard enlargement.Frederik Herzberg - 2008 - Mathematical Logic Quarterly 54 (2):167-175.
Standard sets in nonstandard set theory.Petr Andreev & Karel Hrbacek - 2004 - Journal of Symbolic Logic 69 (1):165-182.
Models of three-valued calculi in inplicational S5.Dolph Urlich - 1983 - Bulletin of the Section of Logic 12 (2):73-75.
Nonstandard natural number systems and nonstandard models.Shizuo Kamo - 1981 - Journal of Symbolic Logic 46 (2):365-376.
Nonstandard Queries and Nonstandard Answers.[author unknown] - 1995 - Logic Journal of the IGPL 3 (5):821-822.

Analytics

Added to PP
2015-12-02

Downloads
30 (#530,732)

6 months
4 (#778,909)

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