on: <span class="searchmatch">modal</span> <span class="searchmatch">logic</span> Wikipedia <span class="searchmatch">modal</span> <span class="searchmatch">logic</span> (countable and uncountable, plural <span class="searchmatch">modal</span> <span class="searchmatch">logics</span>) (<span class="searchmatch">logic</span>) Any formal system that attempts to deal with <span class="searchmatch">modalities</span>, such...
<span class="searchmatch">modal</span> <span class="searchmatch">logics</span> plural of <span class="searchmatch">modal</span> <span class="searchmatch">logic</span>...
epistemic <span class="searchmatch">logic</span> (uncountable) English Wikipedia has articles on: epistemic <span class="searchmatch">modal</span> <span class="searchmatch">logic</span> and dynamic epistemic <span class="searchmatch">logic</span> Wikipedia Wikipedia Any of at least...
doxastic <span class="searchmatch">logic</span> (countable and uncountable, plural doxastic <span class="searchmatch">logics</span>) (<span class="searchmatch">logic</span>) A type of <span class="searchmatch">modal</span> <span class="searchmatch">logic</span> which deals with statements involving beliefs. a <span class="searchmatch">logic</span> involving...
study of obligation, permission, and related concepts. (<span class="searchmatch">logic</span>) A formal system capturing the concepts of obligation and permission. <span class="searchmatch">modal</span> <span class="searchmatch">logic</span> study...
<span class="searchmatch">logic</span> A <span class="searchmatch">logic</span> that is not classical: one that extends or deviates from classical <span class="searchmatch">logic</span>. Antonym: classical <span class="searchmatch">logic</span> Hyponyms: many-valued <span class="searchmatch">logic</span>, <span class="searchmatch">modal</span> logic...
article on: computation tree <span class="searchmatch">logic</span> Wikipedia computation tree <span class="searchmatch">logic</span> (uncountable) (computer science) A particular <span class="searchmatch">modal</span> <span class="searchmatch">logic</span> of branching time with operators...
from <span class="searchmatch">modal</span> (adjective) antimodal crossmodal <span class="searchmatch">modal</span> adverb <span class="searchmatch">modal</span> auxiliary <span class="searchmatch">modal</span> case <span class="searchmatch">modal</span> filter <span class="searchmatch">modality</span> <span class="searchmatch">modal</span> jazz <span class="searchmatch">modal</span> <span class="searchmatch">logic</span> <span class="searchmatch">modally</span> <span class="searchmatch">modal</span> particle...
(“<span class="searchmatch">modality</span>, mode”) + rökfræði (“<span class="searchmatch">logic</span>”). IPA(key): /ˈhauhtaˌrœk.fraiːðɪ/ háttarökfræði f (genitive singular háttarökfræði, no plural) (<span class="searchmatch">logic</span>) <span class="searchmatch">modal</span> logic;...
(plural strict implications) (<span class="searchmatch">logic</span>) A material implication that is acted upon by the necessity operator from <span class="searchmatch">modal</span> <span class="searchmatch">logic</span>. Synonym: strict conditional...