Translation of "modal logic" to Spanish language:

Dictionary English-Spanish

Logic - translation :

Modal - translation :

Keywords : Lógica Lógica Logica Razonamiento Lógico

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.
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.
The Unprovability of Consistency An Essay in Modal Logic .	The Unprovability of Consistency An Essay in Modal Logic .
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.
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.
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.
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'.
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).
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.
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.
logic	lógica
Logic	Lógica
The logic of belief is called doxastic logic.	La lógica de las creencias se llama lógica doxástica.
Logic, Arcade	Lógica, Arcade
Logic, Arcade	Lógico, Arcade
Logic, Board	Lógica, Tablero
logic game	juego de lógica
Logic Game	Juego de lógicaName
Logic Games	Juegos de lógicaName
Logic Buttons	Botones lógicos
Logic Functions	Funciones lógicasComment
Logic Shapes	Formas lógicasStencils
Logic Functions	Funciones lógicas
Settings Logic Buttons	Preferencias Botones lógicos
Display logic buttons.	Muestra los botones lógicos.
logic operator and	operador lógico yName
logic operator or	operador lógico oName
logic operator not	operador lógico noName
Blackbox Logic Game	Juego de lógica BlackboxName
A logic game	Un juego de lógica
One of the founders of relevance logic, a kind of paraconsistent logic.	Uno de los fundadores de la lógica de relevancia, un tipo de lógica paraconsistente.
The logic was clear.	La lógica era clara.
It s just simple logic.	Es pura lógica simple quot .
Addictive little logic game.	Pequeño y adictivo juego de lógica.
It's the selective logic.	Es la lógica selectiva.
The Logic of Provability .	The Logic of Provability .
Sokoban like Logic Game	Juego de lógica similar al SokobanName
Reporting logic, OFX Import	Lógica de los Informes, Importación OFX
So is it to be the logic of war or the logic of peace ?	(Puede concebirse una organización intemacinal que evite las especulaciones excesivas?
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.
I cannot follow your logic.	No puedo seguir su lógica.
I can't follow his logic.	No puedo seguir su lógica.

Muestra esta página en español