单词 | modal logic |
例句 | Even in the academy, fellow polymaths were bedazzled by the breadth of his boundless ruminations into metaphysics, modal logic, recursion theory, identity materialism and the ontological nature of numbers. Saul Kripke, Philosopher Who Found Truths in Semantics, Dies at 81 2022-09-21T04:00:00Z Saul Kripke answered the question, "What are the truth conditions for claims about necessity and possibility?" with his semantics for modal logic. Why Does Jim Holt Exist? 2018-07-07T04:00:00Z Some of this had been worked out in a rigorous but limited way, in what philosophers call modal logic, which was first enunciated by C.I. Deepwater oil spill a 'classic failure' of BP management, court hears 2013-02-26T18:05:01Z Professor Marcus was hailed by colleagues for her work in quantified modal logic. Ruth Barcan Marcus, Philosopher-Logician, Dies at 90 2012-03-13T22:27:18Z But modal logic was too limited for computer scientists to use in semireal world systems. Deepwater oil spill a 'classic failure' of BP management, court hears 2013-02-26T18:05:01Z The rabbi’s precocious son had taught himself ancient Hebrew by the age of 6, had finished reading Shakespeare’s complete works by 9 and published his first completeness theorem in modal logic when he was 18. Saul Kripke, Philosopher Who Found Truths in Semantics, Dies at 81 2022-09-21T04:00:00Z The field was born of the marriage of two existing systems, classical quantified logic and modal logic — a marriage she helped bring about. Ruth Barcan Marcus, Philosopher-Logician, Dies at 90 2012-03-13T22:27:18Z |
随便看 |
|
英语例句辞典收录了117811条英语例句在线翻译词条,基本涵盖了全部常用单词及词组的例句翻译及用法,是英语学习的有利工具。