Assertion: modal logic | /r/HasProperty | axiomatized
Facets:
value: usually
type: DEGREE
Source sentences:
text: Modal logics that are adequate for fixed domain semantics can usually be axiomatized by adding principles of a propositional modal logic to classical quantifier rules together with the Barcan Formula \((BF)\)