Assertion: tense logic | /r/HasProperty | permissible conditions
Facets:
Source sentences:
text: Worlds may be conceived in various ways: they may, for example, be understood as possible universes in alethic modal logic, times or moments in tense logic, permissible conditions in deontic logic, or epistemically possible states of knowledge in intuitionistic logic.