Your English writing platform
Discover LudwigSuggestions(1)
Exact(3)
K3 says that i knows a conjunction if, and only if, i knows each conjunct.
K4 is a reflection axiom, sometimes also presented as the axiom of transparency (or of positive introspection), which says that if i knows A, then i knows that she knows A. Finally, K5 says that if the agent does not know an event, then she knows that she does not know.
I will review this definition here, and then show that it is logically equivalent to the 'i knows that j knows that … k knows that A' hierarchy that Lewis (1969) and Schiffer (1972) argue characterizes common knowledge.[9] In words, K1 says that if i knows A, then A must be the case.
Similar(56)
John Terry – I know a-nothing.
I know a great tree.
"I know a lot, Mandy".
I know a renegade hotel.
"I knew a bit.
Terri and I know a place.
I knew a friend of his.
I knew a lot of vocalists.
Write better and faster with AI suggestions while staying true to your unique style.
Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak
CEO of Professional Science Editing for Scientists @ prosciediting.com