Translation of "modal" to Spanish language:

Dictionary English-Spanish

Modal - translation :

Examples (External sources, not reviewed)

Epistemic modal logic is a subfield of modal logic that is concerned with reasoning about knowledge.	La lógica epistémica es un campo de la lógica modal que se ocupa del razonamiento sobre el conocimiento.
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 .
Most foreigners will never fully master the use of German modal particles.	La mayoría de los extranjeros nunca dominarán completamente el uso de las partículas modales alemanas.
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.
Menjadi lebih penting juga sebab biaya modal saat ini di sejumlah negara sangat rendah.	Aún más importante es que el costo del capital sea muy bajo en muchos países.
Make modal dialogs smoothly fly in and out when they are shown or hidden	Hace que los diálogos aparezcan suavemente o se desvanezcan al mostrarlos u ocultarlasName
Assuming that the modal shift actions fostered by Marco Polo stay in the market place for at least as long as their subsidy period, this would add another 4.1 billion tonne kilometres a year in modal shift.	Suponiendo que las acciones de transferencia entre modalidades fomentadas por el programa Marco Polo permaneciesen en el mercado durante al menos su período de subvención, esto añadiría otros 4.100 millones de tkm anuales de transferencias entre modalidades.
It is important here not to confuse formula_32, our modal operator, and formula_33, our accessibility relation.	es importante no confundir formula_32, el operador modal, y formula_33, nuestra relación de accesibilidad.
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.
It can be obtained by adding the modal version of Löb's theorem to the logic K (or K4).	El mismo se puede obtener agregando la versión modal del teorema de Löb a la logica K (o K4).
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.
Tentu mustahil bagi kita untuk mengubah jumlah paparan cahaya matahari yang menyinari suatu negara, namun negara dapat mengendalikan biaya modal.	La cantidad de luz solar que brilla en un país no se puede cambiar, pero el costo del capital es algo sobre lo que un país puede mantener cierto control.
Perlu ada upaya internasional yang signifikan untuk menyelaraskan kembali pasar keuangan dan pasar modal melalui cara yang mendukung pembangunan berkelanjutan.	Lo que hace falta es un importante empeño internacional para aunar los mercados financieros y de capitales con miras a que apoyen el desarrollo sostenible.
Provability logic is a modal logic, in which the box (or necessity ) operator is interpreted as 'it is provable that'.	La lógica demostrativa es una lógica modal, en la que el operador caja (o necesidad ) es interpretado significando 'debe ser demostrado que'.
Penerapan proposal proposal ini katakanlah di tahun 1999 mungkin bisa membatasi aliran modal ke pinggiran segera setelah penetapan mata uang tunggal.	Si esas propuestas se hubieran implementado en, digamos, 1999, tal vez hubiesen limitado la salida a borbotones del capital hacia la periferia inmediatamente después de la introducción de la moneda única.
In order to accommodate notions of common knowledge and distributed knowledge, three other modal operators can be added to the language.	De forma tal de poder utilizar las nociones de conocimiento común y conocimiento distribuido, se pueden agregar tres operadores modales adicionales al lenguaje.
Booming harga komoditas biasanya berhubungan dengan peningkatan pendapatan, posisi fiskal yang menguat, apresiasi mata uang, penurunan biaya pinjaman, dan aliran masuk modal.	Los auges de los precios de las materias primas están normalmente asociados a crecientes ingresos, posiciones fiscales más fuertes, apreciación de las monedas, caída de los costos de endeudamiento e ingresos de capital.
Karena pinjaman jarang dikeluarkan dalam bentuk surat berharga di pasar modal internasional, maka juga tidak tercatat di basis data misalnya milik Bank Dunia.	Y como muy pocos se emitieron como títulos en los mercados internacionales de capitales, tampoco aparecen, por ejemplo, en las bases de datos del Banco Mundial.
Lebih dari 80 dari total 140 negara yang disurvei dalam laporan Inclusive Wealth yang diterbitkan oleh UNEP mencatat penurunan jumlah cadangan modal alam.	Más del 80 por ciento de los 140 países analizados en el informe sobre la Riqueza no excluyente del PNUMA registraron un deterioro en sus reservas de capital natural.
A second scenario , reflecting possible upward risks to price stability as compared with the modal view , was subsequently derived using the official M3 series .	Un segundo escenario fue posteriormente derivado utilizando la serie oficial de M3 y aplicando las herramientas descritas anteriormente , que reflejaba los posibles riesgos al alza para la estabilidad de precios al compararlo con el escenario modal .
But the firm itself must be connected to a web of other firms its suppliers and customers through multi modal transportation and telecommunication networks.	Pero la propia firma debe estar conectada a una red de otras firmas sus proveedores y clientes a través de redes multimodales de telecomunicaciones y de transporte.
Studi yang dilakukan Fraunhofer Institute menunjukkan bahwa selisih dalam pengeluaran modal (capex) sama pentingnya bagi biaya per kilowat jam dengan selisih pada cahaya matahari.	El estudio del Instituto Fraunhofer muestra que las diferencias en gasto de capital son tan importantes para los costos de kilovatio hora como las diferencias en luz solar.
KT45, the modal logic that results from the combining of K, T, 4, 5, and the Knowledge Generalization Rule, is primarily known as S5.	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.
Harapan kreditor multilateral ialah pemanfaatan modal besar ini akan memungkinkan mereka meningkatkan pembangunan infrastruktur dan mengubah pembiayaan pembangunan melalui cara cara yang sebelumnya tidak terpikirkan.	Esperan que aprovechar esta enorme reserva de capital les permitirá aumentar la escala de la infraestructura y transformar las finanzas para el desarrollo de maneras que antes eran inimaginables.
Jika demikian, besarnya pembalikan aliran modal yang tengah dialami oleh negara negara emerging market mungkin lebih besar dibandingkan yang diyakini secara umum berpotensi cukup besar memicu krisis.	De ser así, la actual inversión de signo de los flujos de capitales en las economías emergentes podría ser mayor de lo que se piensa, tal vez tanto como para provocar una crisis.
Kemunduran yang dialami Tiongkok akhir akhir ini, yang memicu turbulensi di pasar modal global dan semakin melemahkan harga harga komoditas, telah memperburuk kemunduran (downturn) di negara negara tersebut.	La reciente desaceleración de China, al generar turbulencia en los mercados globales de capitales y debilitar todavía más los precios de los commodities, magnificó el cambio de tendencia en todos los países emergentes.
At any event, vigorous steps should be taken to encourage a modal shift where appropriate, otherwise the EU will not succeed in developing a low carbon transport economy.	En todo caso, se debe fomentar con decisión la transferencia modal cuando sea pertinente, ya que sin ella la Unión Europea no logrará desarrollar una economía del transporte de bajo carbono.
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 .
Titik balik terjadi pada tahun 2013, ketika ekspektasi kenaikan suku bunga di Amerika Serikat dan penurunan harga harga komoditas global mengakhiri bonanza aliran modal tahunan yang selama ini menyokong pertumbuhan di negara negara ekonomi rendah.	El punto de inflexión fue en 2013, cuando la expectativa de aumento de tipos de interés en Estados Unidos y caída de precios de los commodities puso fin al boom de ingreso de capitales que durante varios años sostuvo el crecimiento de las economías emergentes.
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.	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.
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.	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.
Just as the subscript after formula_23 can be omitted when there is only one agent, the subscript after the modal operators formula_24, formula_25, and formula_26 can be omitted when the group is the set of all agents.	De la misma manera en que se puede omitir el subíndice luego de formula_23 cuando hay un solo agente, el subindice luego de los operadores modales formula_24, formula_25, y formula_26 puede ser omitido cuando el grupo es un conjunto de agentes.
Message windows have a titlebar and take keyboard focus This option controls whether alarm message windows are modal or not, ie whether they grab the keyboard focus when they appear. See the Alarm Message Window section for details.	Las ventanas de mensaje tienen una barra de título y retienen el foco del teclado Esta opción controla si las ventanas de los mensajes de alarma son modales o no, ie si retienen el foco del teclado cuando aparecen. Vea la sección Ventana de mensaje de alarma para más detalles.
Ketika hari perhitungan datang di musim panas ini, para pemimpin di Tiongkok mengeluarkan 200 miliar yang merupakan cadangan devisa yang diperoleh dengan susah payah seolah olah berperan sebagai Knut yang Agung berupaya mencegah pasang surutnya kekalahan di pasar modal.	Cuando este año llegó el momento de saldar cuentas, la dirigencia china gastó 200 000 millones de dólares de reservas arduamente ganadas para tratar de contener el desbande del mercado bursátil.
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.	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.
Memang benar, sejak kemerosotan ini mulai terjadi empat tahun lalu, jelas sekali bahwa kegiatan ekonomi bagi banyak eksportir komoditas melambat mata uang mereka terperosok, setelah hampir melalui satu dekade yang relatif stabil spread tingkat suku bunga meningkat dan aliran masuk modal berkurang.	Por cierto, desde que comenzó el desplome actual hace cuatro años, la actividad económica para muchos exportadores de materias primas se ha desacelerado notablemente sus monedas han caído, después de casi una década de relativa estabilidad los spreads de las tasas de interés se han ampliado y los flujos de capital se han agotado.
In view of the saturation of road transport and its forecast exponential growth, we feel we should also emphasize the need to point the Community in the direction of a more credible inter and multi modal link between roads, ports, railways and airports.	En vista de que los transportes por carretera han llega do ya a un punto de saturación, y se prevé que sigan aumentando en progresión geométrica, también nos parece útil hacer hincapié en que la Comunidad debe enderezar sus pasos hacia una política creíble de conexión inter y multimodal de carreteras, puertos, ferrocarriles y aeropuertos.
I must also congratulate the Commission on its views with regard to inter modal combined transport but we must keep this pressure up, which is why the Committee on Transport and Tourism is seeking a more detailed report on this mode of transport.	Escuché con interés al ponente referirse a algunos con tactos efectuados con nosotros, y conmigo en particular, en los cuales manifestó opiniones personales que fueron tenidas en cuenta y que naturalmente tuvieron su peso en la organización de los trabajos.
Meskipun tidak ada dua krisis keuangan yang identik, semua krisis cenderung memiliki beberapa pertanda yang sama pertumbuhan ekonomi dan ekspor yang berkurang secara signifikan, meredamnya booming harga aset, membengkaknya defisit neraca berjalan dan fiskal, kenaikan pembiayaan dengan utang (leverage), dan penurunan atau pembalikan aliran modal.	Aunque no hay dos crisis financieras iguales, en todas tienden a repetirse ciertos síntomas reveladores desaceleración significativa del crecimiento económico y las exportaciones, relajación del boom de precios de activos, aumento del déficit de cuenta corriente y fiscal, apalancamiento creciente y reducción (o directamente cambio de signo) del ingreso de capitales.
Kondisi seperti ini umum diamati dalam persoalan lingkungan hidup, dimana modal politik yang diperlukan cukup besar kebutuhan akan dukungan suara mayoritas sangat vital isu isu yang dibahas bersifat kontroversial dan keuntungan yang diperoleh atasnya tidak didistribusikan secara merata dan dicapai dalam periode yang sangat lama.	Esto es particularmente cierto en el caso de los asuntos ambientales, en que se necesita un alto capital político, es crucial contar con un apoyo prácticamente unánime, los problemas pueden ser polémicos y los beneficios se distribuyen de manera asimétrica y a lo largo de un gran horizonte temporal.
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.	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.

Muestra esta página en español