actually

(redirected from modal logic)
Also found in: Dictionary, Thesaurus, Encyclopedia, Wikipedia.
See: de facto
References in periodicals archive ?
Then we can extend them to Symbolic Neutrosophic Modal Logic and Refined Symbolic Neutrosophic Modal Logic, using labels instead of numerical values.
As Priest writes of the question, "which modal logic is correct?
A state-of-the-art book on modal logic was written by Blackburn, van Benthem, and Wolter (2006), and, despite its maturity, the field is still developing.
The ontological commitments we require to show the necessity of ultimately founded propositions are, on the one hand, the possibilist interpretation of the existential quantifier or the assumption of a constant domain of the possible worlds W*; and, on the other hand, the modal logic S5.
Modal Logic studies what implications those moods have for economic reality.
Therefore one shall introduce modal logic definition of "possibility" into this model.
There are articles on the scope and object of metaphysics (Ludger Honnefelder, Joel Biard), on the scope and validity of the laws of logic (Simo Knuuttila), on the origins of logical possibility (Jeffrey Coombs) and "moral modalities" (Sven Knebel) and on modal logic in fifteenth-century Germany (Gino Roncaglia--a particularly clear article).
3) As much as we consider possible worlds to be firmly connected with the development of modal logic and logical discourse, it has to be emphasized that the notion of possible worlds originates in Gottfried Wilhelm Leibniz's metaphysical notion of the universe of possible worlds from which the best one was chosen and actualized by God.
Appropriately, this paper uses symbols from temporal modal logic as well as a "doxastic" modal (pertaining to belief).
In the course of investigations into the model theory for modal logic in the 1950s and 1960s, philosophers recognized that the simplest way to treat terms was as modally rigid, namely as designating their actual designations relative to any possible world in which they existed, and nothing else in other worlds.
In modal logic, the classical concept of interpretation of a formula is extended in the sense that every modal logic theory has associated with it, not just a single interpretation, but a set of interpretations called worlds.
I modeled the system on the alethic modal logic S5 for two reasons.