About: Modal algebra

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Algebraic structure providing semantics for modal logics

Property	Value
dbo:description	structure algébrique constituée d'une algèbre de Boole muni d'un opérateur unaire (fr) algebraic structure providing semantics for modal logics (en)
dbo:wikiPageWikiLink	dbr:Classical_logic dbc:Boolean_algebra dbr:Lattice_(order) dbr:Variety_(universal_algebra) dbr:Abstract_algebra dbr:Propositional_logic dbr:Heyting_algebra dbr:Logic dbr:Modal_logic dbr:Normal_modal_logic dbr:Boolean_algebra_(structure) dbr:Abstract_algebraic_logic dbc:Modal_logic dbr:Provability_logic dbr:General_frame dbr:Representation_theorem dbr:Interior_algebra dbr:Jónsson–Tarski_duality dbr:Isomorphic dbr:Stone's_representation_theorem
dbp:wikiPageUsesTemplate	dbt:ISBN dbt:One_source dbt:Algebra-stub
dct:subject	dbc:Boolean_algebra dbc:Modal_logic
rdfs:label	Modal algebra (en) Algèbre modale (fr) 模態代數 (zh)
owl:sameAs	freebase:Modal algebra wikidata:Modal algebra dbpedia-fr:Modal algebra dbpedia-zh:Modal algebra dbpedia-global:Modal algebra
prov:wasDerivedFrom	wikipedia-en:Modal_algebra?oldid=1269337626&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Modal_algebra
is dbo:wikiPageWikiLink of	dbr:Admissible_rule dbr:Alexandrov_topology dbr:Unification_(computer_science) dbr:Algebraic_logic dbr:Kripke_semantics dbr:Modal_logic dbr:Abstract_algebraic_logic dbr:Wim_Blok dbr:General_frame dbr:Outline_of_logic dbr:Interior_algebra
is foaf:primaryTopic of	wikipedia-en:Modal_algebra