单词 | modal logic |
释义 | modal logic (once / 3939771 pages) n WORD FAMILY modal logic USAGE EXAMPLESSome 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. The Guardian(Feb 26, 2013) Professor Marcus was hailed by colleagues for her work in quantified modal logic. New York Times(Mar 13, 2012) Among the logics that can be used are classical propositonal logic, intuitionistic propositional logic, modal logic, temporal logic, and others. Nadin, Mihai, The Civilization of Illiteracy(2010) 1n a system of logic whose formal properties resemble certain moral and epistemological concepts Hypo|Hyper alethic logic the modal logic of necessity and possibility and contingency deontic logicthe modal logic of obligation and permissibility epistemic logicthe modal logic of knowledge and uncertainty and ignorance doxastic logicthe modal logic of belief and disbelief formal logic, mathematical logic, symbolic logic any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity 2n the logical study of necessity and possibility Hyper logic the branch of philosophy that analyzes inference |
随便看 |
|
英语词典包含147318条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。