About: Modal clausal form

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

Normal form for modal logic formulae

Property	Value
dbo:description	normal form for modal logic formulae (en)
dbp:wikiPageUsesTemplate	dbt:Normal_forms_in_logic dbt:Reflist dbt:Formalmethods-stub dbt:Short_description
dct:subject	dbc:Modal_logic dbc:Normal_forms_(logic)
rdfs:label	Modal clausal form (en)
prov:wasDerivedFrom	wikipedia-en:Modal_clausal_form?oldid=1281929109&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Modal_clausal_form
is foaf:primaryTopic of	wikipedia-en:Modal_clausal_form

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International