Translation of "lógica modal" to English language:
Examples (External sources, not reviewed)
| La lógica epistémica es un campo de la lógica modal que se ocupa del razonamiento sobre el conocimiento. | Epistemic modal logic is a subfield of modal logic that is concerned with reasoning about knowledge. |
| La lógica demostrativa es una lógica modal, en la que el operador caja (o necesidad ) es interpretado significando 'debe ser demostrado que'. | Provability logic is a modal logic, in which the box (or necessity ) operator is interpreted as 'it is provable that'. |
| Si bien Kurt Gödel escribió el primer artículo sobre lógica demostrativa, que aplica la lógica modal la lógica de la necesidad y posibilidad a la teoría de la demostración matemática, pero Gödel nunca desarrollo el tema de una manera significativa. | Kurt Gödel wrote the first paper on provability logic, which applies modal logic the logic of necessity and possibility to the theory of mathematical proof, but Gödel never developed the subject to any significant extent. |
| KT45, la lógica modal que resulta de combinar K, T, 4, 5, y la Regla de Generalización del Conocimiento, es conocida como S5. | KT45, the modal logic that results from the combining of K, T, 4, 5, and the Knowledge Generalization Rule, is primarily known as S5. |
| Mientras que los filósofos a partir de Aristóteles han discutido la lógica modal, y los filósofos medievales tales como Ockham y Duns Scotus desarrollaron numerosas observaciones, fue C.I. | While philosophers since Aristotle have discussed modal logic, and Medieval philosophers such as Ockham and Duns Scotus developed many of their observations, it was C. I. Lewis who created the first symbolic and systematic approach to the topic, in 1912. |
| Craig Smoryński, Self reference and modal logic. | Craig Smoryński, Self reference and modal logic. |
| The Unprovability of Consistency An Essay in Modal Logic . | The Unprovability of Consistency An Essay in Modal Logic . |
| lógica | logic |
| Lógica | Logic |
| lógica | boolean |
| Lógica | Logical |
| La lógica de las creencias se llama lógica doxástica. | The logic of belief is called doxastic logic. |
| Partición lógica | Logical Partition |
| Lógica, Arcade | Logic, Arcade |
| Lógica, Tablero | Logic, Board |
| Implicación lógica | Boolean implication |
| etiqueta lógica | boolean label |
| Vista lógica | Logical View |
| Qué lógica tiene? | Where is the logic in that? |
| juego de lógica | logic game |
| Puerta lógica NandStencils | Logical Nand Gate |
| Puerta lógica XorStencils | Logical Xor Gate |
| Puerta lógica OrStencils | Logical Or Gate |
| Puerta lógica NorStencils | Logical Nor Gate |
| Puerta lógica NotStencils | Logical Not Gate |
| Puerta lógica AndStencils | Logical And Gate |
| Puerta lógica BufferStencils | Logical Buffer Gate |
| Puerta lógica InversorStencils | Logical Inverter Gate |
| Robert M. Solovay, Provability Interpretations of Modal Logic , Israel Journal of Mathematics, Vol. | Robert M. Solovay, Provability Interpretations of Modal Logic , Israel Journal of Mathematics, Vol. |
| 1980a, On systems of modal logic with provability interpretations, Theoria 46 7 18. | 1980a, On systems of modal logic with provability interpretations, Theoria 46 7 18. |
| 1980c, Provability, truth, and modal logic, Journal of Philosophical Logic 9 1 7. | 1980c, Provability, truth, and modal logic, Journal of Philosophical Logic 9 1 7. |
| es importante no confundir formula_32, el operador modal, y formula_33, nuestra relación de accesibilidad. | It is important here not to confuse formula_32, our modal operator, and formula_33, our accessibility relation. |
| La lógica era clara. | The logic was clear. |
| Su respuesta fue lógica. | His reply was logical. |
| Es la lógica selectiva. | It's the selective logic. |
| Seleccionar esta etiqueta lógica | Select this boolean label |
| Eliminar una etiqueta lógica | Remove a Boolean Label |
| Añadir una etiqueta lógica | Add a Boolean Label |
| Mover una etiqueta lógica | Move a Boolean Label |
| Mostrar una etiqueta lógica | Show a Boolean Label |
| Ocultar una etiqueta lógica | Hide a Boolean Label |
| Juego de lógica BlackboxName | Blackbox Logic Game |
| Un juego de lógica | A logic game |
| No sigo su lógica. | I don't follow their logic. |
| Uno de los fundadores de la lógica de relevancia, un tipo de lógica paraconsistente. | One of the founders of relevance logic, a kind of paraconsistent logic. |
Búsquedas relacionadas : Valor Modal - Ventana Modal - Número Modal - Día Modal - Partícula Modal - Dispersión Modal - Talla Modal - Ganancia Modal - Mezcla Modal - Amortiguamiento Modal - Prueba Modal - Contenido Modal - Camiseta Modal
