In the present paper, based on the previous work (Part I), we present a game semantics for the intensional variant of intuitionistic type theory with a hierarchy of universes that refutes the principle of uniqueness of identity proofs and validates the univalence axiom, though we have the hiera...
It is well known that three types of semantics have been developed in relation to transformational grammar (TG). From the standpoint of the philosophy of linguistics it seems that the main...doi:10.1007/978-1-4899-0548-2_26Festini, Heda...
International Journal of Game Theory Aims and scope Submit manuscript D. Gale & A. Neyman 147 Accesses 11 Citations Explore all metrics This is a preview of subscription content, log in via an institution to check access. References Gale, D.: A Curious Nim-Type Game. American ...
Regularity Theory for Mean-Field Game Systems Beginning with a concise introduction to the theory of mean-field games (MFGs), this book presents the key elements of the regularity theory for MFGs. It then introduces a series of techniques for well-posedness in the context of mean-fi... DA ...
We present a game semantics for intuitionistic type theory. Specifically, we propose categories with families of a new variant of games and strategies for both extensional and intensional variants of the type theory with dependent function, dependent pair, and identity types as well as universes. Ou...
Game theory : non-technical introduction to the analysis ofstrategy The objective of the third edition of Game Theory: A Nontechnical Introduction to the Analysis of Strategy is to introduce the ideas of game theory in a wa... R Mccain 被引量: 0发表: 2003年 Security and Cooperation in ...
classified as "sharing", "no-sharing" and "retaliation", and the game model of knowledge sharing is set up in terms of the evolutionary game theory... G Ruan,P Ruan - 《Icic Express Letters.an International Journal of Research & Surveys.part B Applications》 被引量: 1发表: 2012年 Analy...
International Journal of Game Theory Aims and scope Submit manuscript G. A. Heuer 54 Accesses 7 Citations Explore all metrics Abstract A class of Silverman-like games is considered where the players need not choose numbers from the same set. The case where Player I chooses from the positive...
Errata to: N. Clerbout and S. Rahman,Linking Game-Theoretical Approaches with Constructive Type Theory, SpringerBriefs in Philosophy, DOI10.1007/978-3-319-19063-1 Due to miscommunication during the production process, the following items were not corrected prior to the publication of the book. ...
The problem addressed is considered as a cooperative game ... L Monroy,AM Mármol,V Rubiales - 《International Game Theory Review》 被引量: 6发表: 2005年 Education and training53LIVING THE DREEM: STUDENT PERCEPTIONS OF MEDICINE IN THE COMMUNITY, UNIVERSITY COLLEGE DUBLIN (UCD)54CAPACITY ...