首页 | 本学科首页   官方微博 | 高级检索  
     


Positive modal logic
Authors:J. Michael Dunn
Affiliation:1. Department of Philosophy, Indiana University, Sycamore Hall 028, 47405, Bloomington, IN, USA
Abstract:We give a set of postulates for the minimal normal modal logicK+ without negation or any kind of implication. The connectives are simply and, or, squ, loz. The postulates (and theorems) are all deducibility statements phiv vdash psgr. The only postulates that might not be obvious are

$$diamondsuit varphi  wedge square psi  vdash diamondsuit (varphi  wedge psi )square (varphi  vee psi ) vdash square varphi  vee diamondsuit psi $$
Keywords:
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号