Regular modal logic
http://dbpedia.org/resource/Regular_modal_logic
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.
rdf:langString
rdf:langString
Logica modale regolare
rdf:langString
Regular modal logic
xsd:integer
14764284
xsd:integer
1117046682
rdf:langString
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.
xsd:nonNegativeInteger
589