José A. Alonso on Nostr: Semantical analysis of intuitionistic modal logics between CK and IK. ~ Jim de Groot, ...
Semantical analysis of intuitionistic modal logics between CK and IK. ~ Jim de Groot, Ian Shillito & Ranald Clouston.
https://arxiv.org/abs/2408.00262 #ITP #Coq #Logic
Published at
2024-08-02 12:05:40Event JSON
{
"id": "012050e27b420305d87a009e75929615e7eaf5483c04d181ce2c6deac06c60a5",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1722600340,
"kind": 1,
"tags": [
[
"t",
"logic"
],
[
"t",
"coq"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/112892335917992354",
"activitypub"
]
],
"content": "Semantical analysis of intuitionistic modal logics between CK and IK. ~ Jim de Groot, Ian Shillito \u0026 Ranald Clouston. https://arxiv.org/abs/2408.00262 #ITP #Coq #Logic",
"sig": "735a484a0576e0a6805afadeca7673fcd3ae527fac73772a9d04b535394811d742cfa50ec9cbc9c34e81bb03672305b4528d7965031a70c57fb687d40b99612f"
}
