http://dbpedia.org/ontology/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.
|
http://dbpedia.org/ontology/wikiPageID
|
14764284
|
http://dbpedia.org/ontology/wikiPageLength
|
589
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1117046682
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Duality_%28mathematics%29 +
, http://dbpedia.org/resource/Modal_logic +
, http://dbpedia.org/resource/Normal_modal_logic +
, http://dbpedia.org/resource/Classical_modal_logic +
, http://dbpedia.org/resource/Category:Modal_logic +
, http://dbpedia.org/resource/Category:Logic +
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Logic-stub +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Logic +
, http://dbpedia.org/resource/Category:Modal_logic +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Regular_modal_logic?oldid=1117046682&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Regular_modal_logic +
|
owl:sameAs |
http://mk.dbpedia.org/resource/%D0%A0%D0%B5%D0%B3%D1%83%D0%BB%D0%B0%D1%80%D0%BD%D0%B0_%D0%BC%D0%BE%D0%B4%D0%B0%D0%BB%D0%BD%D0%B0_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0 +
, http://rdf.freebase.com/ns/m.03gx6lm +
, https://global.dbpedia.org/id/4tVKA +
, http://www.wikidata.org/entity/Q7309611 +
, http://it.dbpedia.org/resource/Logica_modale_regolare +
, http://dbpedia.org/resource/Regular_modal_logic +
|
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.
|
rdfs:label |
Logica modale regolare
, Regular modal logic
|