|
|||||
|
|
Revisiting completeness for the Kn modal logics: a new proof |
|
| Authors: | Nicholson, T Jennings, RE Sarenac, D |
| Affiliation: | The Laboratory for Logic and Experimental Philosophy Simon Fraser University, Burnaby, British Columbia, Canada E-mail: {tara_lee_nicholson, ray_jennings, darko_sarenac}@sfu.ca @sfu.ca |
| Abstract: | |
| Keywords: | modal logic completeness (n+1)-ary relational frame n-ary aggregation n-uncolourable hypergraph n-trace |
| 本文献已被 Oxford 等数据库收录！ | |