page 1  (10 pages)
2to next section

Technical Report TR-ARP-4-95

Automated Reasoning Project

Research School of Information Sciences and Engineering

and Centre for Information Science Research

Australian National University

May 13, 1996

Canonicity for Intensional Logics Without Iterative


Timothy J. Surendonk

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.