(Eng:
Kripke structure) Een gerichte graaf die is voorzien van labels en die kan worden gebruikt voor het modelleren van de semantiek van modale logica (de logica van de noodzakelijkheden en eventualiteiten).
Gevonden op
https://www.angelfire.com/ca/vlietstra/KNSTINTL.pdf
(Eng:
Kripke structure) Een gerichte graaf die is voorzien van labels en die kan worden gebruikt voor het modelleren van de semantiek van modale logica (de logica van de noodzakelijkheden en eventualiteiten).
Gevonden op
https://www.angelfire.com/ca/vlietstra/KNSTINTL.pdf
Geen exacte overeenkomst gevonden.
