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

November 27, 1995

Canonicity for Intensional Logics Without Iterative

Axioms

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.