The semantics of variables in action descriptions
| Abstract | structures, or interpretations, in the sense of first-order logic. In C+, on the other hand, a state is an interpreta-. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesArthur B. Cody (1967). Can a Single Action Have Many Different Descriptions? Inquiry 10 (1-4):164 – 180.
Robin Hirsch, Ian Hodkinson & Roger D. Maddux (2002). Provability with Finitely Many Variables. Bulletin of Symbolic Logic 8 (3):348-379.
C. F. M. Vermeulen (1995). Merging Without Mystery Or: Variables in Dynamics Semantics. Journal of Philosophical Logic 24 (4):405 - 450.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,602 of 549,017 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
