McCarthy variations in a modal key

Artificial Intelligence 175 (1):428-439 (2011)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2010.04.014

Other Versions

No versions found

Links

PhilArchive



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

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

Language in action: Categories, lambdas and dynamic logic Johan van Benthem.David Israel - 1993 - Artificial Intelligence 63 (1-2):503-510.
Exploring logical dynamics, Johan Van Benthem.Lawrence S. Moss - 2000 - Journal of Logic, Language and Information 9 (2):261-263.
Handbook of logic and language, Johan Van Benthem and Alice Ter meulen, eds.Natasha Kurtonina - 2000 - Journal of Logic, Language and Information 9 (2):263-269.
Johan van Benthem, Modal Logic and Classical Logic. [REVIEW]Graeme Forbes - 1987 - Philosophy in Review 7:88-90.
Johan van BENTHEM: Modal Logik and Classical Logik.Jesús Padilla Gálvez - 1989 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 4 (2):539-542.
Johan van Benthem. Essays in logical semantics. Studies in linguistics and philosophy, vol. 29. D. Reidel Publishing Company, Dordrecht etc. 1986, xi + 225 pp. - Johan van Benthem. Determiners and logic. Linguistics and philosophy, vol. 6 , pp. 447–478. - Johan van Benthem. Questions about quantifiers. The journal of symbolic logic, vol. 49 , pp. 443–466. - Johan van Benthem. Foundations of conditional logic. Journal of philosophical logic, vol. 13 , pp. 303–349. [REVIEW]John Hawthorn - 1988 - Journal of Symbolic Logic 53 (3):990-991.
Johan van Benthem. Modal logic and classical logic. Indices, no. 3. Bibliopolis, Naples 1985 , also distributed by Humanities Press, Atlantic Highlands, N.J., 234 pp. [REVIEW]R. A. Bull - 1987 - Journal of Symbolic Logic 52 (2):557-558.
Johan van Benthem, Modal Logic for Open Minds, CSLI Lecture Notes, Stanford University, 2010, pp. 350. ISBN: 9781575865997 (hardcover) US $70.00, ISBN: 9781575865980 (paperback) US $30.00. [REVIEW]Hans Ditmarsch - 2012 - Studia Logica 100 (5):1055-1057.
Johan van Benthem, Modal Logic for Open Minds, CSLI Lecture Notes, Stanford University, 2010, pp. 350. ISBN: 9781575865997 (hardcover) US $70.00, ISBN: 9781575865980 (paperback) US $30.00. [REVIEW]Hans van Ditmarsch - 2012 - Studia Logica 100 (5):1055-1057.
Essays dedicated to Johan van Benthem on the occasion of his 50th birthday.Jelle Gerbrandy, Maarten Marx, Maarten de Rijke & Yde Venema (eds.) - 1999 - Amsterdam University Press.

Analytics

Added to PP
2020-12-22

Downloads
11 (#1,423,075)

6 months
7 (#722,178)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Johan Van Benthem
University of Amsterdam

Citations of this work

DEL-sequents for progression.Guillaume Aucher - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):289-321.
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Cham, Switzerland: Springer International Publishing. pp. 289-337.
Épistémologie et intelligence artificielle.Yves Bouchard - 2020 - In André Lacroix (ed.), La philosophie pratique. Les Presses de l’Université de Laval. pp. 109-127.
La philosophie pratique.André Lacroix (ed.) - 2020 - Les Presses de l’Université de Laval.
John McCarthy's legacy.Leora Morgenstern & Sheila A. McIlraith - 2011 - Artificial Intelligence 175 (1):1-24.

View all 6 citations / Add more citations

References found in this work

Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
Dynamic logic for belief revision.Johan van Benthem - 2007 - Journal of Applied Non-Classical Logics 17 (2):129-155.

View all 15 references / Add more references