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â€¦ (More)

Individual decision making is based on predictions about other playersâ€™ choices as well as on valuations of reactions to predictions. In this sense, a player has a prediction-decision criterion forâ€¦ (More)

In [8, 6] we introduced a family of â€˜modalâ€™ languages intended for talking about distances. These languages are interpreted in â€˜distance spacesâ€™ which satisfy some (or all) of the standard axioms ofâ€¦ (More)

We investigate the expressive power and computational properties of two different types of languages intended for speaking about distances. First, we consider a first-order language FM theâ€¦ (More)

We investigate the expressive power and computational properties of two diierent types of languages for speaking about distances. First, we consider a rst-order language FM, the two-variable fragmentâ€¦ (More)

The ore m 1. Let {M, , Mz , . . . , M,, . . . , Mu} be the enumeration of propositional logics in the second slice Y2 (see HOSOI-ONO [l]), and D be the sentence V x ( p ( x ) v q ) =I ( V x p ( x ) vâ€¦ (More)

We introduce a family of languages intended for representing knowledge and reasoning about metric (and more general distance) spaces. While the simplest language can speak only about distancesâ€¦ (More)