modal logic

Also found in: Dictionary, Legal, Encyclopedia, Wikipedia.
Graphic Thesaurus  🔍
Display ON
Animation ON
  • noun

Words related to modal logic

the logical study of necessity and possibility

Related Words

a system of logic whose formal properties resemble certain moral and epistemological concepts

References in periodicals archive ?
Therefore, we introduce now the Neutrosophic Modal Logic and the Refined Neutrosophic Modal Logic.
The modal logic K[rho][sigma][tau] is defined as that in which R is all of reflexive, represented by "[rho]" (rho), symmetrical, represented by "[sigma]" (sigma), and transitive, represented by "[tau]" (tau).
Brown's main claim was that modal logic was a useful tool for the analysis of ability, and that previous--unsuccessful--attempts to characterize ability in modal logic were based on an oversimple semantics.
Desde el punto de vista semantico, las creencias y el conocimiento de los agentes se caracterizan siguiendo las tecnicas desarrolladas por Kripke en Semantical analysis of modal logic [2], con base en un conjunto de mundos posibles y relaciones de accesibilidad entre ellos, donde la formula +X sera cierta en un mundo posible especifico, si X es cierta en cada mundo posible, accesible por el agente asociado al operador +, desde el mundo posible especifico.
Fine, Kit (1978), "Model theory for modal logic part I: the de re/de dicto distinction", Journal of Philosophical Logic, vol.
If 'If [alpha], then [beta]' is a theorem in modal logic S5, then also 'If it is possible that [alpha], then it is possible that [beta]' is a theorem in S5.
For our purpose, "it is sounder to view modal logic as the indispensable core of logic, to view truth-functional logic as one of its fragments, and to view 'other' logics--epistemic, deontic, temporal, and the like--as accretions either upon modal logic .
LD is not only a quantified modal logic (already too rich for some tastes), but a quantified multi-modal logic (containing both alethic and tense modal operators) with contexts (to allow for the characterisation of indexicals as context-sensitive expressions), and with all that machinery perhaps it is not surprising that commentators rarely get as far as remarking that LD is also a two-sorted logic, which is to say that it uses two different kinds of variable, in this case, one kind that ranges over ordinary entities, and one kind that ranges over places.
Modal logic, McLelland's hobbyhorse, is the promising alternative.
For interpretation of this proposition, we can use modal logic [10].
The programmatic setting of this volume can therefore hardly be called revolutionary, but its focus on modalities and modal logic is well-chosen.
Reflecting the arrangement of the mother study, she considers such aspects as doctrines, titles of books, categorical syllogism, modal logic, hypothetical syllogism, demonstration, and definition.
These theoreticians are notorious for using the notion of possible worlds as a kind of metaphor rather than as a way to refer to the notion of possible worlds as it is employed by modal logic.
Completeness and correspondence in the first and second order semantics for modal logic.
Modal logic and logical properties are used to build a detailed model of identity, and the ramifications for correct and incorrect subsumption relationships are examined.