Preguntas ciencias modal-logic

Puntuación Visitas Fecha
Foto de perfil de Lindsay

3

1Resp
227Vistas

¿Por qué es paradójico que "Ann cree que Bob asume que Ann cree que la suposición de Bob es incorrecta"?

Resuelta
Preguntado el 4 de Abril, 2015 por Lindsay
Etiquetas :
Foto de perfil de Thiha Maung

2

1Resp
416Vistas

Una prueba de cálculo secuencial

Resuelta
Preguntado el 16 de Agosto, 2017 por Thiha Maung
Etiquetas :
Imagen de perfil de speedracr

1

1Resp
91Vistas

¿Puede alguien ayudarme a demostrar esto en S5 utilizando el sistema axiomático de Hilbert?

Abierta
Preguntado el 18 de Marzo, 2017 por speedracr
Etiquetas :
Imagen de perfil de Marine1

1

1Resp
52Vistas

¿Qué significa $w_i$ en lógica modal?

Resuelta
Preguntado el 11 de Diciembre, 2017 por Marine1
Etiquetas :
Imagen de perfil de Y.X.

2

1Resp
250Vistas

$\sf K$ -prueba de $(\Box p \land \Diamond q) \rightarrow \Diamond (p\land q)$

Resuelta
Preguntado el 26 de Marzo, 2018 por Y.X.
Etiquetas :
Imagen de perfil de Gregory Nisbet

2

1Resp
60Vistas

Por convención, ¿qué son las tautologías y la relación de consecuencia de las lógicas modales?

Resuelta
Preguntado el 14 de Agosto, 2021 por Gregory Nisbet
Etiquetas :
Foto de perfil de Josh Abel

1

1Resp
56Vistas

Necesidad y verdad lógica

Resuelta
Preguntado el 2 de Mayo, 2021 por Josh Abel
Etiquetas :
Foto de perfil de user578910

2

2Resp
73Vistas

Prueba axiomática en el sistema modal B

Resuelta
Preguntado el 8 de Marzo, 2021 por user578910
Etiquetas :
Imagen de perfil de Jytug

2

1Resp
116Vistas

Los operadores modales no son extensionales

Resuelta
Preguntado el 13 de Junio, 2018 por Jytug
Etiquetas :
Imagen de perfil de goblin

3

2Resp
135Vistas

Ampliación del universo y lógica modal

Resuelta
Preguntado el 5 de Abril, 2014 por goblin
Etiquetas :
Foto de perfil de Jim Frac

2

1Resp
92Vistas

Contraejemplo del teorema de Goldblatt-Thomason

Resuelta
Preguntado el 25 de Mayo, 2019 por Jim Frac
Etiquetas :
Foto de perfil de Programmer 400

2

1Resp
179Vistas

¿Se puede expresar un sistema lógico como S5 utilizando sólo un número de Gödel?

Resuelta
Preguntado el 12 de Agosto, 2011 por Programmer 400
Etiquetas :
Imagen de perfil de Rajmohan Thoyakkat

4

1Resp
83Vistas

Demostrar o refutar la afirmación para la lógica modal normal más pequeña

Resuelta
Preguntado el 25 de Agosto, 2021 por Rajmohan Thoyakkat
Etiquetas :
Foto de perfil de JNevens

1

1Resp
138Vistas

¿Es interesante considerar la teoría de la modulación de la satisfacción en el contexto de la lógica modal?

Abierta
Preguntado el 8 de Mayo, 2013 por JNevens
Etiquetas :
Imagen de perfil de eyet

2

1Resp
61Vistas

¿Qué tipo de marco de Kripke valida $(\Diamond p \wedge \Diamond q) \rightarrow \Diamond(p\wedge q)$?

Resuelta
Preguntado el 14 de Mayo, 2020 por eyet
Etiquetas :
Foto de perfil de user643175

1

1Resp
80Vistas

$\vdash\phi \land \diamond\psi \to \diamond(\psi\land\diamond\phi)$ en KB

Resuelta
Preguntado el 10 de Marzo, 2019 por user643175
Etiquetas :
Imagen de perfil de Elias Estatistics

1

1Resp
74Vistas

Definición en el problema de satisfacción

Resuelta
Preguntado el 12 de Junio, 2014 por Elias Estatistics
Etiquetas :
Foto de perfil de eliavs

3

1Resp
190Vistas

Solidez de las lógicas modales que contienen la regla de reflexión

Resuelta
Preguntado el 14 de Diciembre, 2013 por eliavs
Etiquetas :
Imagen de perfil de Self-teachingDavide

2

1Resp
79Vistas

Condiciones para los órdenes totales en la lógica temporal

Resuelta
Preguntado el 2 de Marzo, 2015 por Self-teachingDavide
Etiquetas :

Etiquetas mas usadas

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

Yandex
X