World Scientific
  • Search
  •   
Skip main navigation

Cookies Notification

We use cookies on this site to enhance your user experience. By continuing to browse the site, you consent to the use of our cookies. Learn More
×
Our website is made possible by displaying certain online content using javascript.
In order to view the full content, please disable your ad blocker or whitelist our website www.worldscientific.com.

System Upgrade on Tue, Oct 25th, 2022 at 2am (EDT)

Existing users will be able to log into the site and access content. However, E-commerce and registration of new users may not be available for up to 12 hours.
For online purchase, please visit us again. Contact us at [email protected] for any enquiries.

Epistemic Logic of Shallow Depths and Game Theoretical Applications

    https://doi.org/10.1142/9789812776471_0015Cited by:1 (Source: Crossref)
    Abstract:

    This paper presents a multi-modal epistemic logic GLEF of shallow depths. Logic GLEF is a fragment of multi-modal KDn, and enables us to consider interpersonal inferential epistemic complexities. The subscripts E and F are called epistemic structures, which restrict interpersonal epistemic depths involved in formulae and proofs. We give its Gentzen-type sequent formulation as well as its semantics. Also, we provide some meta-theorems in order to evaluate interpersonal inferential epistemic complexities of the provability of a given sequent. These meta-theorems are applied to some game theoretical problems.