Trust Me Bro: the receipt

trustme.bro/r/…

✓ checked

trust me, bro:

here is the receipt.

the claim

Kripke-style modal logic is formally distinct from classical propositional logic with added axioms

the verdict

REFUTED

the evidence says no

refutedsupported

the weight of evidence

0 sources for · 1 against

AS REPORTEDno primary record reached; this is what the reporting says

Evidence shows that Kripke-style modal logic is constructed precisely by augmenting propositional calculus with additional symbols, rules, and axioms, contradicting the claim that it is formally distinct.

Evidence against · 1

Wikipedia: Modal logic

cited by 0

Reference article covering this claim directly

citation format

See more details

How claims like this are judged

Judged against reference works: claims of this kind are settled by reference works, not journal abstracts.

The paper trail · every fact has a biography

first checked04 Aug 2026

judged → REFUTED · 2504 Aug 2026

More receipts

Is it true that Phonological evolution involves regular processes of phoneme elision, vowel nasalization, and tonogenesis?Is it true that Hemangiomas are treatable with medication?Is it true that Research identifies forms of intelligence that diverge from standard IQ measures?

Random receipt →The Trust Wiki →

This receipt carries no identity, shared or not. Sharing publishes your connection to it, not your data.

Check your own claim

Challenge the receipt

I have a source that contradicts this verdict I have a source that supports it No source: the research is thin, dig deeper

trust me, bro: win the argument, pass the class, survive peer review.

This receipt is an automated verdict against our published method · not an opinion about any author or publication.
Terms · Privacy · How verdicts work · Dispute this receipt