Talkin'bout Kripke models
Résumé
Suppose there is given a finite model M of a finite modal language. In this short note we investigate different ways of characterizing what is true in M, and what is true at some possible world w of M.
Communication Dans Un Congrès
Année : 2007
Documentation IRIT : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03516648
Soumis le : vendredi 7 janvier 2022-12:09:47
Dernière modification le : lundi 20 novembre 2023-11:44:23
Dates et versions
Identifiants
- HAL Id : hal-03516648 , version 1
Citer
Philippe Balbiani, Andreas Herzig. Talkin'bout Kripke models. International Workshop on Hybrid Logic 2007 (HyLo 2007) @ ESSLLI 2007, Aug 2007, Dublin, Ireland. ⟨hal-03516648⟩
Collections
51
Consultations
0
Téléchargements