Assertion: modal logic | /r/HasProperty | adequate
Facets:
value: for \(\bk\)-validity
type: PURPOSE
value: for fixed domain semantics
type: CAUSE
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)\)
text: As the reader may have guessed from our use of ‘\(\bK\)’, it has been shown that the simplest modal logic \(\bK\) is both sound and complete for \(\bK\)-validity.