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-.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,953

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Variables in Action Descriptions: Merging C+ with ADL.Vladimir Lifschitz - unknown
Representing Concurrent Actions and Solving Conflicts.Sven-Erik Bornscheuer & Michael Thielscher - 1996 - Logic Journal of the IGPL 4 (3):355-368.
Review: Michael Gelfond, Vladimir Lifschitz, Robert A. Kowalski, Kenneth A. Bowen, The Stable Model Semantics for Logic Programming; Kit Fine, Jens Erik Fenstad, Ivan T. Frolov, Risto Hilpinen, The Justification of Negation as Failure. [REVIEW]Melvin Fitting - 1992 - Journal of Symbolic Logic 57 (1):274-277.
On the Innocence and Determinacy of Plural Quantification.Salvatore Florio & Øystein Linnebo - 2016 - Noûs 50 (3):565–583.
Compositional semantics for a language of imperfect information.W. Hodges - 1997 - Logic Journal of the IGPL 5 (4):539-563.
Higher-Order Logic or Set Theory: A False Dilemma.S. Shapiro - 2012 - Philosophia Mathematica 20 (3):305-323.
Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3.Aldo Figallo Orellano, Miguel Pérez-Gaspar & Everardo Bárcenas - forthcoming - Logic and Logical Philosophy:1-18.
Possible world semantics for first order lp.Melvin Fitting - unknown
Second-order logic and foundations of mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.
Distant Causation in C+.Robert Craven & Marek Sergot - 2005 - Studia Logica 79 (1):73-96.

Analytics

Added to PP
2009-01-28

Downloads
29 (#568,210)

6 months
5 (#710,905)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Functional completion.Vladimir Lifschitz & Fangkai Yang - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):121-130.

Add more citations

References found in this work

Some philosophical problems from the standpoint of artificial intelligence.John McCarthy & Patrick Hayes - 1969 - In B. Meltzer & Donald Michie (eds.), Machine Intelligence 4. Edinburgh University Press. pp. 463--502.
Nonmonotonic causal theories.Joohyung Lee, Vladimir Lifschitz & Hudson Turner - 2004 - Artificial Intelligence 153 (1-2):49-104.

View all 7 references / Add more references