Traducción de "número modal" al idioma inglés:
Diccionario Español-Inglés
Ejemplos (Fuentes externas, no revisadas)
| 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 . |
| 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. |
| 1985c (with Giovanni Sambin), An incomplete system of modal logic, Journal of Philosophical Logic 14 351 358. | 1985c (with Giovanni Sambin), An incomplete system of modal logic, Journal of Philosophical Logic 14 351 358. |
| 1988a, Review of Craig Smorynski, Self Reference and Modal Logic , Journal of Symbolic Logic 53 306 309. | 1988a, Review of Craig Smorynski, Self Reference and Modal Logic , Journal of Symbolic Logic 53 306 309. |
| 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. |
| 1981a, Review of Robert M. Solovay, Provability Interpretations of Modal Logic , Journal of Symbolic Logic 46 661 662. | 1981a, Review of Robert M. Solovay, Provability Interpretations of Modal Logic , Journal of Symbolic Logic 46 661 662. |
| El mismo se puede obtener agregando la versión modal del teorema de Löb a la logica K (o K4). | It can be obtained by adding the modal version of Löb's theorem to the logic K (or K4). |
| 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'. |
| 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. |
| Número dos. Número dos. Dos. | Number Two. Number Two. Two. |
| Mi número favorito. Me encanta ese número. | Favorite number. I love that number. |
| Relación con el Número de Reynolds y Número de Péclet El número de Reynolds magnético tiene una forma similar al número de Péclet y número de Reynolds. | Relationship to the Reynolds Number and Péclet Number The Magnetic Reynolds number has a similar form to both the Péclet number and the Reynolds number. |
| 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. |
| Número. | Number. |
| Número | Trackers |
| Número... | Number... |
| Número | Issue |
| Número | Number |
| número | number |
| número | A label to display text |
| Número | Numeral |
| Número | Number |
| El número de contribuciones representa el número de oraciones añadidas más el número de traducciones añadidas más el número de oraciones modificadas. | The number of contributions represents the number of sentences added plus the number of translations added plus the number of sentences modified. |
| BF Buen número, Daniel, buen número. Eres un genio. | BF Nice show, Daniel, nice show. You are the man! |
| The ECB is seeking companies that wish to participate in a procurement procedure for a Human Digital Assistant ( HDA ) avatar for multi modal , multi channel , self service and customer care . | The ECB is seeking companies that wish to participate in a procurement procedure for a Human Digital Assistant ( HDA ) avatar for multi modal , multi channel , self service and customer care . |
| El número de Lewis puede expresarse también en términos de número de Schmidt y número de Prandtl. | The Lewis number can also be expressed in terms of the Schmidt number and the Prandtl number formula_4. |
| El número adimensional análogo en transferencia de masa al número de Prandtl es el número de Schmidt. | The mass transfer analog of the Prandtl number is the Schmidt number. |
| Caso número | Case No |
| Caso número | Case number |
| Nota número | Note number 7 |
| NOTA NÚMERO | NOTE NUMBER |
| Número 2 | Number 2 |
| Número inalcanzable. | Number unobtainable. |
| Mostrar número | Show Number |
| Número máximo | Max number |
| ncols número | ncols count |
| Número F | F Number |
| Número complejo | Complex number |
| Paso número | Pass Number |
| Mostrar número | Show number |
| número de... | Number of... |
Búsquedas relacionadas : Valor Modal - Ventana Modal - Lógica Modal - Día Modal - Partícula Modal - Dispersión Modal - Talla Modal - Ganancia Modal - Mezcla Modal - Amortiguamiento Modal - Prueba Modal - Contenido Modal - Camiseta Modal
