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: 93,642

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 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (31):481-497.
Nonstandard Analysis.James R. Geiser - 1970 - Mathematical Logic Quarterly 16 (6):297-318.
A Nonstandard Approach to Pseudotopological Compactifications.Robert A. Herrmann - 1980 - Mathematical Logic Quarterly 26 (22‐24):361-384.
A Predicative Approach to Nonstandard Mathematics.Peter Zahn - 1987 - Mathematical Logic Quarterly 33 (1):85-96.
Nonstandard analysis of global attractors.Dalibor Pražák & Jakub Slavík - 2015 - Mathematical Logic Quarterly 61 (4-5):315-328.
A Nonstandard Generalization For Perfect Maps.Robert A. Herrmann - 1976 - Mathematical Logic Quarterly 23 (13‐15):223-236.
Monadic Characterizations in Nonstandard Topology.Terry A. McKee - 1980 - Mathematical Logic Quarterly 26 (25-27):395-397.
Nonstandard Methods and Finiteness Conditions in Algebra.Matt Insall - 1991 - Mathematical Logic Quarterly 37 (33‐35):525-532.
Nonstandard Methods and Finiteness Conditions in Algebra.Matt Insall - 1991 - Mathematical Logic Quarterly 37 (33-35):525-532.
The Nonstandard Theory of Semi‐Uniform Spaces.Robert A. Herrmann - 1978 - Mathematical Logic Quarterly 24 (15‐16):237-256.

Analytics

Added to PP
2013-12-01

Downloads
8 (#517,646)

6 months
8 (#1,326,708)

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