This HTML5 document contains 23 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/
n7https://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#
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-mkhttp://mk.dbpedia.org/resource/
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:Regular_modal_logic
rdfs:label
Regular modal logic Logica modale regolare
rdfs:comment
In modal logic, a regular modal logic is a modal logic containing (as axiom or theorem) the duality of the modal operators: and closed under the rule Every normal modal logic is regular, and every regular modal logic is classical.
dcterms:subject
dbc:Logic dbc:Modal_logic
dbo:wikiPageID
14764284
dbo:wikiPageRevisionID
1117046682
dbo:wikiPageWikiLink
dbr:Classical_modal_logic dbc:Logic dbr:Duality_(mathematics) dbr:Modal_logic dbr:Normal_modal_logic dbc:Modal_logic
owl:sameAs
n7:4tVKA dbpedia-mk:Регуларна_модална_логика wikidata:Q7309611 dbpedia-it:Logica_modale_regolare freebase:m.03gx6lm
dbp:wikiPageUsesTemplate
dbt:Logic-stub
dbo:abstract
In modal logic, a regular modal logic is a modal logic containing (as axiom or theorem) the duality of the modal operators: and closed under the rule Every normal modal logic is regular, and every regular modal logic is classical.
prov:wasDerivedFrom
wikipedia-en:Regular_modal_logic?oldid=1117046682&ns=0
dbo:wikiPageLength
589
foaf:isPrimaryTopicOf
wikipedia-en:Regular_modal_logic