The proof theory and semantics of intuitionistic modal logic
Possible world semantics underlies many of the applications of modal logic in computer science and philosophy. The standard theory arises from interpreting the semantic definitions in the ordinary meta-theory of informal classical mathematics. If, however, the same semantic definitions are interpret...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of Edinburgh
1994
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561638 |