eyet es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
¿Qué tipo de marco de Kripke valida $(\Diamond p \wedge \Diamond q) \rightarrow \Diamond(p\wedge q)$?
el 21 de Mayo, 2020 2 votos
Últimas Respuestas
-
Todavía no ha respondido nada
Etiquetas favoritas
- 1 x modal-logic