A model existence theorem in infinitary propositional modal logic |
| |
Authors: | Krister Segerberg |
| |
Affiliation: | (1) Department of Philosophy, Villavägen 5, 752 36 Uppsala, Sweden;(2) Department of Philosophy, The University of Auckland, Private Bag, Auckland, New Zealand |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|