Si vous utilisez un lecteur d'écran, cliquez ici pour désactiver la recherche instantanée Google.
Connexion
×

Vous venez ici souvent ? Faites de Google votre page d'accueil.

OK

Google

La recherche instantanée Google n'est pas disponible. Appuyez sur Entrée pour lancer la recherche. En savoir plus
La recherche instantanée Google a été désactivée, car votre connexion est trop lente. Pensez à appuyez sur Entrée pour lancer la recherche.
Appuyez sur Entrée pour lancer la recherche.
Tous
Images
Vidéos
Actualités
Shopping
PlusOutils de recherche
    • Paramètres de recherche
    • Langues (Languages)
    • Activer SafeSearch
    • Recherche avancée
    • Historique
    • Aide sur la recherche
Environ 608 résultats (0,56 secondes) 
Looking for results in English?
Change to English
Continuer en Français
Paramètres de langue
Rappel concernant les règles de confidentialité de Google
Me le rappeler plus tard
Consulter

 
 

Résultats de recherche

Provability Logic (Stanford Encyclopedia of Philosophy)

plato.stanford.edu/entries/logic-provability/
  1. Pages similaires
Traduire cette page
2 avr. 2003 - Ironically, the first time that the formalized version of Löb's theorem was .... epistemic logic with common knowledge, are decidable in EXPTIME, ...

Knowledge, Belief, and Strategic Interaction

https://books.google.fr/books?isbn=0521416744 - Traduire cette page
Cristina Bicchieri, ‎Maria Luisa Dalla Chiara - 1992 - ‎Philosophy
However, this common knowledge is restricted to features of the game that can be coded ... Appendix In this appendix, we provide a proof of Lob's theorem from ...

Advances in Economic Theory: Volume 1: Sixth World Congress

https://books.google.fr/books?isbn=0521484596 - Traduire cette page
Econometric Society. World Congress, ‎Jean-Jacques Laffont - 1992 - ‎Business & Economics
It is called Lob's theorem in proof theory, where it is shown to be equivalent to ... This step ensures that it is "common knowledge" how the players "reason.

Summary of "on Aumann's notion of common knowledge"

dl.acm.org/citation.cfm?id=1029810 - Traduire cette page
de TCC Tan - ‎1986 - ‎Cité 1 fois - ‎Autres articles
We provide a bayesian model of knowledge which is based on the of infinite recursion of beliefs. The framework allows a direct formalisation of statements such ...

Doxastic logic - Wikipedia

https://en.wikipedia.org/wiki/Doxastic_logic
  1. En cache
  2. Pages similaires
Traduire cette page
Doxastic logic is a type of logic concerned with reasoning about beliefs. The term doxastic .... This is a parallelism of Löb's theorem for reasoners. Unstable reasoner: An unstable reasoner is one who believes that he or she believes some proposition, but ...

Epistemic logic, temporal epistemic logic, and the blue-eyed islander ...

https://terrytao.wordpress.com/.../epistemic-logic-temporal-epistem...
  1. En cache
  2. Pages similaires
Traduire cette page
19 mai 2011 - Definition 3 (Common knowledge) If {S} .... We can also define a notion of common knowledge at a single time {t ...... It relates to Löb's theorem: ...

Agenty Duck: April 2014

agentyduck.blogspot.com/2014_04_01_archive.html
  1. En cache
Traduire cette page
3 avr. 2014 - ... you're curious and brave); A Cartoon Guide to Löb's Theorem (yes, really) ... common knowledge of cuddle preferences leads to less anxiety, ...

[PDF]Agreeing to Disagree in Probabilistic Dynamic Epistemic Logic

https://www.illc.uva.nl/Research/Reports/MoL-2010-14.text.pdf
  1. En cache
Traduire cette page
de L Demey - ‎2010 - ‎Cité 16 fois - ‎Autres articles
1 sept. 2010 - (have common knowledge of their posteriors) to disagree (while these ...... interpretation (viz. it is a modal representation of Löb's theorem for.

Robust Cooperation in the Prisoner's Dilemma - Less Wrong

lesswrong.com/lw/.../robust_cooperation_in_the_prisoners_dilem...
  1. En cache
  2. Pages similaires
Traduire cette page
7 juin 2013 - ... from a bounded version of Löb's Theorem from mathematical logic. ..... with assumptions of perfect common knowledge of payoff matrices, ...

Common knowledge (logic) - Revolvy

www.revolvy.com/main/index.php?s...item_type=topic
  1. En cache
Traduire cette page
Common knowledge is a special kind of knowledge for a group of agents . There is ... as well as Löb's theorem , and other metalogical results in terms of belief.

12345678910Suivant
 - En savoir plus   
Aide Envoyer des commentaires Confidentialité Conditions Utiliser Google.com
  • Mon compte
  • Recherche
  • Maps
  • YouTube
  • Play
  • Actualités
  • Gmail
  • Drive
  • Agenda
  • Google+
  • Traduction
  • Photos
Plus
  • Shopping
  • Docs
  • Livres
  • Blogger
  • Contacts
  • Hangouts
Autres résultats Google