BF's modal validity doesn't require necessitism; weaker domain constraints (e.g., constant domains p...
This proposition has not been edited since the history system was added.