Modèles Kripke - Évaluation de la signification de $ box box P $
-
04-11-2019 - |
Question
Dans les modèles Kripke, l'évaluation de $ x vdash box p $ serait que chaque monde accessible à partir de $ x $ satisfait $ p $.
Mais comment la vérité de $ box box P $ serait-elle évaluée dans les modèles Kripke?
Pas de solution correcte
Licencié sous: CC-BY-SA avec attribution
Non affilié à cs.stackexchange