Simmons (2007) makes a helpful contribution to the logical modelling of real arguments by an addition of the shot glass modality to intuitionist logic. A snippet:
Per Per Martin-Löf , something is true when witnessed by an object of knowledge, which lends itself to an obvious question of whether the truth of a proposition can be obviated by the presence of alcohol, seeing as alcohol has an clearly negative impact on one’s knowledge . The possibility of the analytical truth of a proposition becoming questionable under the influence is also evidenced by discussion as to whether conference submissions that can be understood while drunk are novel enough to be worth accepting.
I think the following inference rule which I discovered while living in the homeland of Martin-Löf still requires further investigation: