I’m having difficulties getting my head around the intended properties of the “implicitly” modal.
Could you give an example of p where ¬p∧□p; that is, p is implicit but not explicit?
Am I correct in understanding that there is a context attached to the box and the turnstile that captures the observer’s state of knowledge?
Is the “implicitly” modal the same as any other better-known modal?
Is the primary function of the modal to distinguish “stuff known from context or inferred using context” from “stuff explicitly assumed or derived”?
I’m having difficulties getting my head around the intended properties of the “implicitly” modal.
Could you give an example of p where ¬p∧□p; that is, p is implicit but not explicit?
Am I correct in understanding that there is a context attached to the box and the turnstile that captures the observer’s state of knowledge?
Is the “implicitly” modal the same as any other better-known modal?
Is the primary function of the modal to distinguish “stuff known from context or inferred using context” from “stuff explicitly assumed or derived”?