Content deleted Content added
Adding local short description: "Logical operator in modal logic", overriding Wikidata description "logical operator in modal logic" |
→Syntax for modal operators: Correct a false statement. [(A is possible) and (B is possible)] does not entail that [(A&B) is possible], so the two are not equivalent. Tags: Mobile edit Mobile web edit |
||
Line 4:
== Syntax for modal operators ==
{{unreferenced|section|date=February 2024}}
The syntax rules for modal operators <math>\Box</math> and <math>\Diamond</math> are very similar to those for universal and existential [[Quantifier (logic)|quantifiers]]; In fact, any formula with modal operators <math>\Box</math> and <math>\Diamond</math>, and the usual [[Logical connective|logical connectives]] in [[propositional calculus]] (<math> \land,\lor,\neg,\rightarrow,\leftrightarrow </math>) can be [[Rewriting#Logic|rewritten]] to a [[De dicto and de re|''de dicto'']] normal form, similar to [[prenex normal form]]. One major caveat: Whereas the universal and existential quantifiers only binds to the [[Propositional variable|propositional variables]] or the [[Predicate variable|predicate variables]] following the quantifiers, since the modal operators <math>\Box</math> and <math>\Diamond</math> quantifies over [[Accessibility relation|accessible]] [[Possible world|possible worlds]], they will bind to any formula in their [[Scope (logic)|scope]]. For example, <math>(\exists x (x^2 = 1)) \land (0 = y)</math> is logically equivalent to <math>\exists x (x^2 = 1\land 0 = y)</math>, but <math>(\Diamond (x^2 = 1)) \land (0 = y)</math> is not logically equivalent to <math>\Diamond (x^2 = 1\land 0 = y)</math>; Instead, <math>\Diamond (x^2 = 1\land 0 = y)</math>
When there are both modal operators and quantifiers in a formula, different order of an adjacent pair of modal operator and quantifier can lead to [[De dicto and de re#Representing de dicto and de re in modal logic|different semantic meanings]]; Also, when [[multimodal logic]] is involved, different order of an adjacent pair of modal operators can also lead to different semantic meanings.
| |||