Timeline for Normal modal Logic with finite proposition letters
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 24, 2023 at 14:40 | comment | added | BAD MAN | Thanks a lot! I was reading a paper, where the logic is a little bit different, but I believe that if there is only one diamond, then that logic is the same as K. I guess the claim I made in my question is something used in that paper. Something might be wrong, the paper or my paraphrase. I hope I can find it out. | |
| Sep 24, 2023 at 11:20 | history | answered | Emil Jeřábek | CC BY-SA 4.0 |