On Modal Logics between K × K × K and$S5
✍
R. Hirsch, I. Hodkinson and A. Kurucz
📂
Article
📅
2002
🏛
Association for Symbolic Logic
🌐
English
⚖ 329 KB