Gabriel's theorem: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Brad7777
 
en>Wavelength
 
Line 1: Line 1:
In [[modal logic]], '''standard translation''' is a way of transforming formulas of modal logic into formulas of [[first-order logic]] which capture the meaning of the modal formulas. Standard translation is [[Recursive definition|defined inductively]] on the structure of the formula. In short, [[atomic formula]]s are mapped onto [[Predicate (mathematical logic)|unary predicate]]s and the objects in the first-order language are the [[Accessibility relation|accessible worlds]]. The [[logical connective]]s from [[propositional logic]] remain untouched and the modal operators are transformed into first-order formulas according to their [[Kripke semantics|semantics]].
"Kitbag The web sports keep for standard football tshirts kit, boots, leisurewear and also footwear"Some designers will even go so far as give that you simply guarantee of free vehicle repairs or replacement in just a certain period to make sure you of which their product is completely in an alternative league coming from common handbags that you can find in any mallOne bag usually takes between 17 and one day to make.Disco to be a musical form suffered from deficiencies in popular credibility in the 1980s, but the music style, and the particular venues regarding dancing for it, simply changed again into various  [http://www.averagetrip.com/%E5%90%84%E5%BF%85%E8%A6%81%E3%82%92%E6%BA%80%E8%B6%B3%E3%81%99%E3%82%8B-%E3%82%B7%E3%83%A7%E3%83%BC%E3%83%88%E7%AE%A1-%E3%83%8D%E3%82%A4%E3%82%AD%E3%83%83%E3%83%89-%E5%B0%82%E5%A3%B2%E5%BA%97/%E4%BF%A1%E9%A0%BC-yamaha-%E6%B0%97%E8%B3%AA%E3%82%A2%E3%83%83%E3%83%97/%E9%AB%98%E7%B4%9A-xjr1300rp03j-%E6%96%B0%E5%93%81 ショート管 ネイキッド xjr1300rp03j] forms of modern dancing music types -- like techno, house, garage in addition to handbag -- using the nomenclature for the venue engaged shifting coming from 'discotheque' to be able to 'nightclub'One of definitely the new bag lines can be Jerome Dreyfuss -- especially if you prefer a bag in which not everyone is going to be toting aroundIf you give away a 'lifestyle' product as being a picnic cooler or even a travel carrier, this will mean the product might be used continuously and  [http://www.averagetrip.com/%E8%B6%85%E6%AD%93%E8%BF%8E%E3%81%95%E3%82%8C%E3%81%9F-%E3%83%98%E3%83%AB%E3%83%A1%E3%83%83%E3%83%88-%E8%B4%88%E5%91%88/%E5%89%B2%E5%BC%95-lead-%E3%83%AA%E3%83%BC%E3%83%89%E5%B7%A5%E6%A5%AD-%E6%B3%A8%E6%96%87%E5%89%B2%E5%BC%95%E9%96%8B%E5%82%AC%E4%B8%AD/%E4%BF%A1%E9%A0%BC-%E3%83%95%E3%83%AB%E3%83%95%E3%82%A7%E3%82%A4%E3%82%B9%E3%83%98%E3%83%AB%E3%83%A1%E3%83%83%E3%83%88-%E6%B0%97%E8%B3%AA%E3%82%A2%E3%83%83%E3%83%97 ヘルメット フルフェイスヘルメット] also are seen by a large number of people -- thus replacing the same with exposure within the marketplaceIf you invest some time in developing a promotional product or combined products that are useful in addition to add value on your client, as effectively as advertising your company, you are usually far almost certainly going to leave any lasting impression that can ensure your enterprise stands out from the crowd.city to help ban the application of non-biodegradable cheap grocery totesThere is some specifics of this on the radley web site - RadleyWith 99% of Louis Vuitton bags for sale being fake scans clearly replica handbags are big company - hae the look here to discover How to identify fake Radley BagsThere is additionally lots of information about designer hand bags and false or true designer bags over at Wikipedia- consequently if you are likely to be choosing a handbag I might suggest you take  [http://www.averagetrip.com/%E9%A9%9A%E3%81%8D%E3%81%AE%E4%BD%8E%E4%BE%A1%E6%A0%BC%E3%81%A7-%E3%83%AD%E3%83%83%E3%82%AF%E3%83%BB%E9%8D%B5-%E5%B0%82%E5%A3%B2%E5%BA%97/%E4%BF%9D%E9%9A%9C%E3%81%A7%E3%81%8D%E3%81%BE%E3%81%99-%E9%8D%B5-%E3%82%AF%E3%83%AB%E3%83%9E%E7%94%A8%E3%83%AD%E3%83%83%E3%82%AF-%E6%BF%80%E5%AE%89%E5%B8%82%E5%A0%B4 ロック 鍵 鍵 クルマ用ロック] a look and get the maximum amount of information as you can before parting along with your cahcom/Comment simply by beats detox November twenty  [http://www.averagetrip.com/%E6%8E%A8%E8%96%A6%E3%81%95%E3%82%8C%E3%81%9F-%E3%83%90%E3%83%B3%E3%83%80%E3%83%8A-%E6%B3%A8%E6%96%87%E5%89%B2%E5%BC%95%E9%96%8B%E5%82%AC%E4%B8%AD/%E8%B6%85%E7%BE%8E-%E3%83%81%E3%83%A3%E3%82%A4%E3%83%8A%E3%83%90%E3%83%B3%E3%83%80%E3%83%8A-%E6%B0%97%E8%B3%AA%E3%82%A2%E3%83%83%E3%83%97 バンダナ チャイナバンダナ] three, 2011 5: 21 amCoach electric outlet online Major American artist and machine of high-class lifestyle clutches and components
 
== Definition ==
 
Standard translation is defined as follows:
 
*<math>ST_x(p) \equiv P(x)</math>, where <math>p</math> is an [[atomic formula]]; P(x) is true when <math>p</math> holds in world <math>x</math>.
*<math>ST_x(\top) \equiv \top</math>
*<math>ST_x(\bot) \equiv \bot</math>
*<math>ST_x(\neg \varphi) \equiv \neg ST_x(\varphi)</math>
*<math>ST_x(\varphi \wedge \psi) \equiv ST_x(\varphi) \wedge ST_x(\psi)</math>
*<math>ST_x(\varphi \vee \psi) \equiv ST_x(\varphi) \vee ST_x(\psi)</math>
*<math>ST_x(\varphi \rightarrow \psi) \equiv ST_x(\varphi) \rightarrow ST_x(\psi)</math>
*<math>ST_x(\Diamond_m \varphi) \equiv \exists y ( R_m(x, y) \wedge ST_y(\varphi))</math>
*<math>ST_x(\Box_m \varphi) \equiv \forall y ( R_m(x, y) \rightarrow ST_y(\varphi))</math>
 
In the above, <math>x</math> is the world from which the formula is evaluated. Initially, a [[Free variables and bound variables|free variable]] <math>x</math> is used and whenever a modal operator needs to be translated, a fresh variable is introduced to indicate that the remainder of the formula needs to be evaluated from that world. Here, the subscript <math>m</math> refers to the [[accessibility relation]] that should be used: normally, <math>\Box</math> and <math>\Diamond</math> refer to a relation <math>R</math> of the [[Kripke semantics|Kripke model]] but more than one accessibility relation can exist (a [[multimodal logic]]) in which case subscripts are used. For example, <math>\Box_a</math> and <math>\Diamond_a</math> refer to an accessibility relation <math>R_a</math> and <math>\Box_b</math> and <math>\Diamond_b</math> to <math>R_b</math> in the model. Alternatively, it can also be placed inside the modal symbol.
 
== Example ==
 
As an example, when standard translation is applied to <math>\Box \Box p</math>, we expand the outer box to get
 
: <math>\forall y ( R(x, y) \rightarrow ST_y(\Box p))</math>
 
meaning that we have now moved from <math>x</math> to an accessible world <math>y</math> and we now evaluate the remainder of the formula, <math>\Box p</math>, in each of those accessible worlds.
 
The whole standard translation of this example becomes
 
: <math>\forall y ( R(x, y) \rightarrow (\forall z ( R(y, z) \rightarrow P(z))))</math>
 
which precisely captures the semantics of two boxes in modal logic. The formula <math>\Box \Box p</math> holds in <math>x</math> when for all accessible worlds <math>y</math> from <math>x</math> and for all accessible worlds <math>z</math> from <math>y</math>, the predicate <math>P</math> is true for <math>z</math>. Note that the formula is also true when no such accessible worlds exist. In case <math>x</math> has no accessible worlds then <math>R(x,y)</math> is false but the whole formula is [[Vacuous truth|vacuously true]]: an [[Logical implication|implication]] is also true when the [[Antecedent (logic)|antecedent]] is false.
 
== Standard translation and modal depth ==
 
The [[modal depth]] of a formula also becomes apparent in the translation to first-order logic. When the modal depth of a formula is ''k'', then the first-order logic formula contains a 'chain' of ''k'' transitions from the starting world <math>x</math>. The worlds are 'chained' in the sense that these worlds are visited by going from accessible to accessible world. Informally, the number of transitions in the 'longest chain' of transitions in the first-order formula is the modal depth of the formula.
 
The modal depth of the formula used in the example above is two. The first-order formula indicates that the transitions from <math>x</math> to <math>y</math> and from <math>y</math> to <math>z</math> are needed to verify the validity of the formula. This is also the modal depth of the formula as each modal operator increases the modal depth by one.
 
== References ==
* ''Modal Logic: A Semantic Perspective'', [[Patrick Blackburn]] and [[Johan van Benthem (logician)|Johan van Benthem]]
 
[[Category:Modal logic]]
[[Category:Predicate logic]]

Latest revision as of 04:50, 12 March 2014

"Kitbag The web sports keep for standard football tshirts kit, boots, leisurewear and also footwear"Some designers will even go so far as give that you simply guarantee of free vehicle repairs or replacement in just a certain period to make sure you of which their product is completely in an alternative league coming from common handbags that you can find in any mallOne bag usually takes between 17 and one day to make.Disco to be a musical form suffered from deficiencies in popular credibility in the 1980s, but the music style, and the particular venues regarding dancing for it, simply changed again into various ショート管 ネイキッド xjr1300rp03j forms of modern dancing music types -- like techno, house, garage in addition to handbag -- using the nomenclature for the venue engaged shifting coming from 'discotheque' to be able to 'nightclub'One of definitely the new bag lines can be Jerome Dreyfuss -- especially if you prefer a bag in which not everyone is going to be toting aroundIf you give away a 'lifestyle' product as being a picnic cooler or even a travel carrier, this will mean the product might be used continuously and ヘルメット フルフェイスヘルメット also are seen by a large number of people -- thus replacing the same with exposure within the marketplaceIf you invest some time in developing a promotional product or combined products that are useful in addition to add value on your client, as effectively as advertising your company, you are usually far almost certainly going to leave any lasting impression that can ensure your enterprise stands out from the crowd.city to help ban the application of non-biodegradable cheap grocery totesThere is some specifics of this on the radley web site - RadleyWith 99% of Louis Vuitton bags for sale being fake scans clearly replica handbags are big company - hae the look here to discover How to identify fake Radley BagsThere is additionally lots of information about designer hand bags and false or true designer bags over at Wikipedia- consequently if you are likely to be choosing a handbag I might suggest you take ロック 鍵 鍵 クルマ用ロック a look and get the maximum amount of information as you can before parting along with your cahcom/Comment simply by beats detox November twenty バンダナ チャイナバンダナ three, 2011 5: 21 amCoach electric outlet online Major American artist and machine of high-class lifestyle clutches and components

Retrieved from "https://en.formulasearchengine.com/index.php?title=Gabriel%27s_theorem&oldid=265593"