|
|||||
|
|
A Note on Linear Kripke Models |
|
| Authors: | Iemhoff Rosalie |
| Affiliation: | Institute for Discrete Mathematics and Geometry E104, Technical University Vienna, Wiedner Hauptstrasse 8-10, 1040 Vienna, Austria. Email: iemhoff{at}logic.at |
| Abstract: | |
| Keywords: | Kripke models, Gö del logics, Scott logics, linear frames, cones, existence predicate, Kripke models, truth value sets |
| 本文献已被 Oxford 等数据库收录！ | |