A Semantics Model for Imperatives

Notre Dame Journal of Formal Logic 18 (1):79--84 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093887821

Links

PhilArchive



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

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

A model-theoretic semantics for modal logic.John Paulos - 1976 - Notre Dame Journal of Formal Logic 17 (3):465-468.
Probabilistic Semantics for Formal Logic.Charles Morgan & Hugues Leblanc - 1983 - Notre Dame Journal of Formal Logic 24:161-180.
A formal metasystem for Frege's semantics.Will Harris - 1975 - Notre Dame Journal of Formal Logic 16 (1):89-101.
Two formal systems for situation semantics.Juan Barba Escriba - 1991 - Notre Dame Journal of Formal Logic 33 (1):70-88.
Semantics for S4.03.G. N. Georgacarakos - 1977 - Notre Dame Journal of Formal Logic 18:504.
A simplified semantics for modal logic.L. F. Goble - 1973 - Notre Dame Journal of Formal Logic 14 (2):151-174.
Probabilistic semantics for intuitionistic logic.C. G. Morgan & H. Leblanc - 1983 - Notre Dame Journal of Formal Logic 24 (2):161-180.
Two formal systems for situation semantics.Juan Escriba - 1992 - Notre Dame Journal of Formal Logic 33 (1):70-88.
A semantics for a weak free logic.Ermanno Bencivenga - 1978 - Notre Dame Journal of Formal Logic 19 (4):646-652.
Message semantics.David Harrah - 1986 - Notre Dame Journal of Formal Logic 27 (3):339-348.

Analytics

Added to PP
2010-08-24

Downloads
16 (#934,417)

6 months
9 (#355,594)

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

No references found.

Add more references