Traducción de "ventana 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 . |
| Como una ventana no modal. En este modo, el foco del teclado no se ve afectado cuando aparece la ventana del mensaje, de tal forma que no interferirá en su tecleo. Sin embargo, en este modo la ventana no tiene barra de título ni marco, con lo que no puede moverla ni cambiarla de tamaño. | As a non modal window. In this mode, the keyboard focus is unaffected when the alarm message window appears, so it will not interfere with your typing. However in this mode the window has no titlebar or frame, so you cannot move it or resize it. |
| Cuando se muestra una alarma sobre una aplicación a pantalla completa, se muestra como una ventana no modal con independencia de su configuración. Esto es debido a una limitación del sistema de ventanas. | When an alarm is displayed on top of a full screen application, it is shown as a non modal window regardless of this configuration setting. This is due to a limitation of the window system. |
| 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. |
| Ventana Nueva ventana | Window New Window |
| 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. |
| Alt Derecha Ventana Ventana siguiente | Alt Right Window |
| Alt Izquierda Ventana Ventana anterior | Alt Left Window |
| 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). |
| Siguiente ventana Cambia a la siguiente ventana. | Next window Switches to the next window. |
| Anterior ventana Cambia a la ventana anterior. | Previous window Switches to the previous window. |
| Ventana | Dialog |
| Ventana | Window |
| ventana | window |
| Ventana | Window title |
| Ventana | Windows Panel |
| 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'. |
| Muestra el menú de ventana si la ventana está activada, de lo contrario activa la ventana. | Shows the Window menu if the window is active, otherwise activates the window. |
| 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. |
| Ventana maximizada | Maximized window |
| Ventana principal | Main Window |
| Ventana principal | Main window |
| Ventana Menú | Window Menu |
| Ventana Ajustar | Window Tile |
| Ventana Cascada | Window Cascade |
| Ventana Vistas | Window Views |
| Nueva ventana | New window |
| Ventana emergente | Popup |
| Redimensionar ventana | Resize window |
| Mover ventana | Move window |
| Enfocar ventana | Focus window |
| Ventana activa | Active Window |
| Ventana normal | Normal Window |
| Ventana extra | Window Extra |
| Ventana aparece | Window appears |
| Ventana desaparece | Window disappears |
| Ventana activa | Active window |
| Ventana específica | Specific window |
Búsquedas relacionadas : Valor Modal - Lógica 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
