Carmin.tv

Mathematics
and Interactions

Please leave your feedback in order for us to improve your experience !
Albert Schwarz : Quantum Mechanics and Quantum Field Theory from Algebraic and Geometric Viewpoints
1 videos

Albert Schwarz : Quantum Mechanics and Quantum Field Theory from Algebraic and Geometric Viewpoints

Clément Delcamp : Topological Symmetry and Duality in Quantum Lattice Models
4 videos

Clément Delcamp : Topological Symmetry and Duality in Quantum Lattice Models

Aggregation-Diffusion Equations & Collective Behavior: Analysis, Numerics and Applications / Conférence Chaire Jean Morlet: Equations d'agrégation-diffusion et comportement collectif: Analyse, schémas numériques et applications
5 videos

Aggregation-Diffusion Equations & Collective Behavior: Analysis, Numerics and Applications / Conférence Chaire Jean Morlet: Equations d'agrégation-diffusion et comportement collectif: Analyse, schémas numériques et applications

Cours Sorbonne Université
30 videos

Cours Sorbonne Université

All the collections
CIMPA
CIRM
IHES
IHP
LMR
SMF
All the institutions
Algorithm and programming / Algorithmique et programmation

Collection Algorithm and programming / Algorithmique et programmation

Organizer(s) Albert, Luc ; Dorra, Francis ; Petit, Antoine
Date(s) 02/05/2016 - 06/05/2016
linked URL http://conferences.cirm-math.fr/1446.html
00:00:00 / 00:00:00
3 26

Logique épistémique dynamique

By François Schwarzentruber

On introduira la logique modale épistémique avec des exemples (enfants sales, etc.). On abordera la notion de logique modale et de structure de Kripke. On évoquera le problème de satisfiabilité et la méthode de tableau. Ensuite, nous verrons comment mettre à jour un modèle de Kripke. Nous verrons d'abord les annonces publiques. Puis nous verrons comment modéliser quelques actes de communications à l'aide des modèles d'actions. Une démonstration des enfants sales et du puzzle des prisonniers avec des "agents intelligents" sera présentée.

Information about the video

Citation data

  • DOI 10.24350/CIRM.V.18595803
  • Cite this video Schwarzentruber, François (24/04/2014). Logique épistémique dynamique. CIRM. Audiovisual resource. DOI: 10.24350/CIRM.V.18595803
  • URL https://dx.doi.org/10.24350/CIRM.V.18595803

Domain(s)

Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow




Register

  • Bookmark videos
  • Add videos to see later &
    keep your browsing history
  • Comment with the scientific
    community
  • Get notification updates
    for your favorite subjects
Copyright Carmin.tv 2024
By browsing our website, you accept the use of cookies to improve your experience. Find out more about our privacy policy.
Approve
Give feedback