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.