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


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.


Download Citation

Mamoru Kaneko. Nobu-Yuki Suzuki. "Epistemic models of shallow depths and decision making in games: Horticulture." J. Symbolic Logic 68 (1) 163 - 186, March 2003.


Published: March 2003
First available in Project Euclid: 21 February 2003

zbMATH: 1041.03011
MathSciNet: MR1959316
Digital Object Identifier: 10.2178/jsl/1045861510

Rights: Copyright © 2003 Association for Symbolic Logic


This article is only available to subscribers.
It is not available for individual sale.

Vol.68 • No. 1 • March 2003
Back to Top