A lemma in the logic of action

Notre Dame Journal of Formal Logic 31 (2):222-224 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093635416

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

A constructive proof of Craig's interpolation lemma for m-valued logic.Anita Waselewska - 1979 - Studia Logica 38 (3):267 - 275.
The First-Order Syntax of Variadic Functions.Samuel Alexander - 2013 - Notre Dame Journal of Formal Logic 54 (1):47-59.
T × W Completeness.Franz Kutschervona - 1997 - Journal of Philosophical Logic 26 (3):241-250.
Failures of the interpolation lemma in quantified modal logic.Kit Fine - 1979 - Journal of Symbolic Logic 44 (2):201-206.
The mathematics of logic: a guide to completeness theorems and their applications.Richard Kaye - 2007 - New York: Cambridge University Press.
Extension of relatively |sigma-additive probabilities on Boolean algebras of logic.Mohamed A. Amer - 1985 - Journal of Symbolic Logic 50 (3):589 - 596.
An extended joint consistency theorem for a nonconstructive logic of partial terms with definite descriptions.Raymond D. Gumb - 2001 - Studia Logica 69 (2):279-292.
Zorn's lemma and complete Boolean algebras in intuitionistic type theories.J. L. Bell - 1997 - Journal of Symbolic Logic 62 (4):1265-1279.
A non-standard construction of Haar measure and weak könig's lemma.Kazuyuki Tanaka & Takeshi Yamazaki - 2000 - Journal of Symbolic Logic 65 (1):173-186.
A boundedness lemma for iterations.Greg Hjorth - 2001 - Journal of Symbolic Logic 66 (3):1058-1072.
A Formal Characterisation of Hamblin’s Action-State Semantics.Chris Reed & Timothy J. Norman - 2007 - Journal of Philosophical Logic 36 (4):415 - 448.
Generalization of a lemma of G. F. rose.I. L. Gál, J. B. Rosser & D. Scott - 1958 - Journal of Symbolic Logic 23 (2):137-138.
A patching lemma.K. K. Hickin & J. M. Plotkin - 1976 - Notre Dame Journal of Formal Logic 17 (1):158-160.
Corrigenda to Poole's Rules and A Lemma of Simari-Loui.R. Loui - unknown

Analytics

Added to PP
2010-08-24

Downloads
10 (#1,165,120)

6 months
2 (#1,232,442)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On bringing it about.Brian F. Chellas - 1995 - Journal of Philosophical Logic 24 (6):563 - 571.

Add more citations

References found in this work

No references found.

Add more references