nForum - Discussion Feed (axiom K (modal logic))2024-03-29T07:01:04+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
nLab edit announcer comments on "axiom K (modal logic)" (114545)https://nforum.ncatlab.org/discussion/8870/?Focus=114545#Comment_1145452023-12-11T02:31:35+00:002024-03-29T07:01:04+00:00nLab edit announcerhttps://nforum.ncatlab.org/account/1691/
Added reference
Daniel Gratzer, Syntax and semantics of modal type theory (pdf)
Anonymouse
diff, v3, current
]]>
nLab edit announcer comments on "axiom K (modal logic)" (111644)https://nforum.ncatlab.org/discussion/8870/?Focus=111644#Comment_1116442023-07-26T13:11:56+00:002024-03-29T07:01:04+00:00nLab edit announcerhttps://nforum.ncatlab.org/account/1691/
Added link to K modal logic
Anonymouse
diff, v2, current
]]>
David_Corfield comments on "axiom K (modal logic)" (70934)https://nforum.ncatlab.org/discussion/8870/?Focus=70934#Comment_709342018-08-22T07:10:10+00:002024-03-29T07:01:04+00:00David_Corfieldhttps://nforum.ncatlab.org/account/20/
Started the modal logic version.
v1, current