Journal of Symbolic Logic 68 (1):163-186 (2003)

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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl/1045861510
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,979
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

Small Infinitary Epistemic Logics.Tai-wei Hu, Mamoru Kaneko & Nobu-Yuki Suzuki - 2019 - Review of Symbolic Logic 12 (4):702-735.

Add more citations

Similar books and articles


Added to PP index

Total views
40 ( #283,300 of 2,504,871 )

Recent downloads (6 months)
1 ( #417,030 of 2,504,871 )

How can I increase my downloads?


My notes