Preguntas ciencias modal

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
417Vistas

Una prueba de cálculo secuencial

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

1

1Resp
92Vistas

¿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 :
Foto de perfil de Y.X.

2

1Resp
251Vistas

$\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 :
Foto de perfil de Gregory Nisbet

2

1Resp
61Vistas

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 :
Imagen 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 :
Foto 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
136Vistas

Ampliación del universo y lógica modal

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

2

1Resp
93Vistas

Contraejemplo del teorema de Goldblatt-Thomason

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

2

1Resp
180Vistas

¿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
84Vistas

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 :
Imagen de perfil de JNevens

1

1Resp
140Vistas

¿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
82Vistas

$\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 :
Imagen de perfil de eliavs

3

1Resp
192Vistas

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 :
Foto de perfil de thedeeno

22

1Resp
852Vistas

¿Es el axioma $\Diamond\Box\varphi\to\Box\Diamond\varphi$ ¿en potencialismo de forzamiento c.c.c. equivalente a la productividad del forzamiento c.c.c.?

Abierta
Preguntado el 3 de Febrero, 2018 por thedeeno
Etiquetas :
Foto de perfil de Prasadika Nidarshani Fernando

4

1Resp
156Vistas

¿Tablas de verdad para operadores temporales?

Abierta
Preguntado el 6 de Marzo, 2014 por Prasadika Nidarshani Fernando
Etiquetas :
Imagen de perfil de stefanosn

10

2Resp
250Vistas

¿Cuál es la diferencia entre la lógica intuicionista, clásica, modal y lineal?

Abierta
Preguntado el 31 de Mayo, 2015 por stefanosn
Etiquetas :
Foto de perfil de Robbo

10

1Resp
553Vistas

Libros sobre lógica modal?

Abierta
Preguntado el 10 de Agosto, 2013 por Robbo
Etiquetas :
Imagen de perfil de Programmer2134

5

1Resp
164Vistas

¿Por qué, es intuitivo, Lob ' verdadero Teorema de s?

Abierta
Preguntado el 28 de Junio, 2018 por Programmer2134
Etiquetas :
Foto de perfil de user144861

4

2Resp
400Vistas

Demostrar que la lógica modal S4 está contenida adecuadamente en S5

Abierta
Preguntado el 24 de Mayo, 2014 por user144861
Etiquetas :
Imagen de perfil de gnasher729

4

2Resp
238Vistas

Modales teoremas válidos en un modelo de teoría de conjuntos

Abierta
Preguntado el 7 de Diciembre, 2012 por gnasher729
Etiquetas :
Foto de perfil de Dave L.

4

2Resp
176Vistas

La equivalencia entre la lógica temporal y nociones de forzar

Abierta
Preguntado el 27 de Septiembre, 2013 por Dave L.
Etiquetas :
Imagen de perfil de theog

4

2Resp
263Vistas

¿Por qué es $\square\square=\square$ $\Diamond\Diamond=\Diamond$ en el S5 lógica modal?

Resuelta
Preguntado el 30 de Mayo, 2014 por theog
Etiquetas :
Imagen de perfil de aaandre

4

2Resp
356Vistas

En lógica modal, es $\lnot\square P\equiv\lozenge\lnot P$?

Resuelta
Preguntado el 6 de Marzo, 2012 por aaandre
Etiquetas :
Foto de perfil de Andrew Bacon

9

1Resp
274Vistas

Variantes de Kuratowski del 14 de establecer el teorema de

Abierta
Preguntado el 2 de Enero, 2018 por Andrew Bacon
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