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

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

Namespace Prefixes

Prefix	IRI
dcterms	http://purl.org/dc/terms/
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
n15	https://global.dbpedia.org/id/
dbt	http://dbpedia.org/resource/Template:
rdfs	http://www.w3.org/2000/01/rdf-schema#
freebase	http://rdf.freebase.com/ns/
dbpedia-fa	http://fa.dbpedia.org/resource/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
dbpedia-it	http://it.dbpedia.org/resource/
wikipedia-en	http://en.wikipedia.org/wiki/
dbc	http://dbpedia.org/resource/Category:
dbp	http://dbpedia.org/property/
prov	http://www.w3.org/ns/prov#
xsdh	http://www.w3.org/2001/XMLSchema#
wikidata	http://www.wikidata.org/entity/
dbr	http://dbpedia.org/resource/

Statements

Subject Item

dbr:Modal_depth

rdfs:label

Profondità modale Modal depth

rdfs:comment

In modal logic, the modal depth of a formula is the deepest nesting of modal operators (commonly and ). Modal formulas without modal operators have a modal depth of zero.

dcterms:subject

dbc:Modal_logic

dbo:wikiPageID

25312886

dbo:wikiPageRevisionID

927633149

dbo:wikiPageWikiLink

dbr:Atomic_formula dbc:Modal_logic dbr:Modal_operator dbr:Modal_logic dbr:Accessibility_relation dbr:Function_(mathematics) dbr:Kripke_model dbr:Validity_(logic)

owl:sameAs

wikidata:Q6888006 dbpedia-it:Profondità_modale dbpedia-fa:عمق_وجهی n15:4ryuQ freebase:m.09gbgp8

dbp:wikiPageUsesTemplate

dbt:Singlesource dbt:Short_description dbt:Reflist

dbo:abstract

In modal logic, the modal depth of a formula is the deepest nesting of modal operators (commonly and ). Modal formulas without modal operators have a modal depth of zero.

prov:wasDerivedFrom

wikipedia-en:Modal_depth?oldid=927633149&ns=0

dbo:wikiPageLength

3597

foaf:isPrimaryTopicOf

wikipedia-en:Modal_depth