Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Classical_modal_logic> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items per page.
- Classical_modal_logic abstract "In modal logic, a classical modal logic L is any modal logic containing (as axiom or theorem) the duality of the modal operatorswhich is also closed under the ruleAlternatively one can give a dual definition of L by which L is classical iff it contains (as axiom or theorem)and is closed under the ruleThe weakest classical system is sometimes referred to as E and is non-normal. Both algebraic and neighborhood semantics characterize familiar classical modal systems that are weaker than the weakest normal modal logic K.Every regular modal logic is classical, and every normal modal logic is regular and hence classical.".
- Classical_modal_logic wikiPageID "14763077".
- Classical_modal_logic wikiPageRevisionID "545066684".
- Classical_modal_logic hasPhotoCollection Classical_modal_logic.
- Classical_modal_logic subject Category:Modal_logic.
- Classical_modal_logic comment "In modal logic, a classical modal logic L is any modal logic containing (as axiom or theorem) the duality of the modal operatorswhich is also closed under the ruleAlternatively one can give a dual definition of L by which L is classical iff it contains (as axiom or theorem)and is closed under the ruleThe weakest classical system is sometimes referred to as E and is non-normal.".
- Classical_modal_logic label "Classical modal logic".
- Classical_modal_logic label "Lógica modal clássica".
- Classical_modal_logic sameAs Lógica_modal_clássica.
- Classical_modal_logic sameAs m.03gx4pd.
- Classical_modal_logic sameAs Q5128344.
- Classical_modal_logic sameAs Q5128344.
- Classical_modal_logic wasDerivedFrom Classical_modal_logic?oldid=545066684.
- Classical_modal_logic isPrimaryTopicOf Classical_modal_logic.