Journal of Symbolic Logic

Epistemic models of shallow depths and decision making in games: Horticulture

Mamoru Kaneko and Nobu-Yuki Suzuki

Full-text: Access denied (no subscription detected)

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text


Kaneko-Suzuki developed epistemic logics of shallow depths with multiple players for investigations of game theoretical problems. By shallow depth, we mean that nested occurrences of belief operators of players in formulae are restricted, typically to be of finite depths, by a given epistemic structure. In this paper, we develop various methods of surgical operations (cut and paste) of epistemic world models. An example is a bouquet-making, i.e., tying several models into a bouquet. Another example is to engraft a model to some branches of another model. By these methods, we obtain various meta-theorems on semantics and syntax on epistemic logics. To illustrate possible uses of our meta-theorems, we present one game theoretical theorem, which is also a meta-theorem in the sense of logic.

Article information

J. Symbolic Logic, Volume 68, Issue 1 (2003), 163-186.

First available in Project Euclid: 21 February 2003

Permanent link to this document

Digital Object Identifier

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier


Kaneko, Mamoru; Suzuki, Nobu-Yuki. Epistemic models of shallow depths and decision making in games: Horticulture. J. Symbolic Logic 68 (2003), no. 1, 163--186. doi:10.2178/jsl/1045861510.

Export citation


  • R. Bull and K. Segerberg Basic modal logic, Handbook of philosophical logic II (D. Gabbay and F. Guenthner, editors), Reidel, London,1984, pp. 1--89.
  • B. F. Chellas Modal logic: an introduction, Cambridge University Press, Cambridge,1980.
  • R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Verdi Reasoning about knowledge, MIT Press, Cambridge,1995.
  • G. E. Hughes and M. J. Cresswell A companion to modal logic, Methuen, London,1984.
  • M. Kaneko Epistemic logics and their game theoretical applications: Introduction, Economic Theory, vol. 19 (2002), pp. 7--62.
  • M. Kaneko and T. Nagashima Axiomatic indefinability of common knowledge in finitary logics, Epistemic logic and the theory of games and decision (M. Bacharach, L. A. Gerard-Varet, P. Mongin, and H. Shin, editors), Kluwer Academic Press,1997, pp. 69--93.
  • M. Kaneko, T. Nagashima, N.-Y. Suzuki, and Y. Tanaka A map of common knowledge logics, Studia Logica, vol. 71 (2002), pp. 57--86.
  • M. Kaneko and N.-Y. Suzuki Semantics of epistemic logics of shallow depths for game theory, IPPS. DP. 814, University of Tsukuba,1999.
  • J.-J. Ch. Meyer and W. van der Hoek Epistemic logic for AI and computer science, University Press, Cambridge,1995.
  • H. Moulin Game theory for the social sciences, New York University Press, New York,1982.