Canonicity for Intensional Logics Without Iterative Axioms |
| |
| Authors: | Surendonk Timothy J. |
| |
| Affiliation: | (1) Automated Reasoning Project, The Australian National University, Canberra, ACT, 0200, Australia |
| |
| Abstract: | David Lewis proved in 1974 that all logics without iterative axioms are weakly complete. In this paper we extend Lewis s ideas and provide a proof that such logics are canonical and so strongly complete. This paper also discusses the differences between relational and neighborhood frame semantics and poses a number of open questions about the latter. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
