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

Other Versions

reprint Sain, Ildikó (1984) "Structured nonstandard dynamic logic". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30(31):481-497

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

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

Nonstandard Analysis.James R. Geiser - 1970 - Mathematical Logic Quarterly 16 (6):297-318.
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.
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 Methods and Finiteness Conditions in Algebra.Matt Insall - 1991 - Mathematical Logic Quarterly 37 (33-35):525-532.
Completing Boolean Algebras by Nonstandard Methods.Jürg Schmid - 1974 - Mathematical Logic Quarterly 20 (1-3):47-48.
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
12 (#1,369,278)

6 months
4 (#1,247,585)

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):257 - 274.

Add more references