This HTML5 document contains 25 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n15https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Window_operator
rdfs:label
Window operator
rdfs: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 ''). Notice that its truth condition is the converse of the truth condition for the standard "necessity" operator.
dcterms:subject
dbc:Modal_logic dbc:Logic
dbo:wikiPageID
15129272
dbo:wikiPageRevisionID
1106036741
dbo:wikiPageWikiLink
dbr:Kripke_model dbr:Modal_logic dbr:Φ dbr:Semantic dbr:Truth_condition dbc:Logic dbc:Modal_logic dbr:Converse_(logic) dbr:Modal_operator
owl:sameAs
freebase:m.03hjdwm wikidata:Q8024370 n15:4xF9D
dbp:wikiPageUsesTemplate
dbt:Logic-stub dbt:Short_description dbt:Cite_book
dbo: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.
prov:wasDerivedFrom
wikipedia-en:Window_operator?oldid=1106036741&ns=0
dbo:wikiPageLength
1146
foaf:isPrimaryTopicOf
wikipedia-en:Window_operator