Marco de Kripke

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Una estructura relacional (W,R) formada por un conjunto no vacío W de mundos posibles y una relación de accesibilidad binaria R ⊆ W×W, utilizada para interpretar operadores modales o temporales independientemente de cualquier valoración de átomos proposicionales.