Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Window_operator> ?p ?o. }
Showing items 1 to 13 of
13
with 100 items per page.
- Window_operator abstract "In modal logic, the window operator is a modal operator with the following semantic definition:for a Kripke model and . Informally, it says that w "sees" every φ-world (or every φ-world is seen by w). This operator is not definable in the basic modal logic (i.e. some propositional non-modal language together with a single primitive "necessity" (universal) operator, often denoted by '', or its existential dual, often denoted by ''). Notice that its truth condition is the converse of the truth condition for the standard "necessity" operator.For references to some of its applications, see the References section.".
- Window_operator wikiPageID "15129272".
- Window_operator wikiPageRevisionID "388597503".
- Window_operator hasPhotoCollection Window_operator.
- Window_operator subject Category:Logic.
- Window_operator subject Category:Modal_logic.
- Window_operator comment "In modal logic, the window operator is a modal operator with the following semantic definition:for a Kripke model and . Informally, it says that w "sees" every φ-world (or every φ-world is seen by w). This operator is not definable in the basic modal logic (i.e. some propositional non-modal language together with a single primitive "necessity" (universal) operator, often denoted by '', or its existential dual, often denoted by '').".
- Window_operator label "Window operator".
- Window_operator sameAs m.03hjdwm.
- Window_operator sameAs Q8024370.
- Window_operator sameAs Q8024370.
- Window_operator wasDerivedFrom Window_operator?oldid=388597503.
- Window_operator isPrimaryTopicOf Window_operator.