This 2006 book provides an accessible, yet technically sound treatment of modal logic and its philosophical applications.K A, then L, B ...K A. So let usassume that L... K A, that is, thatL /A is K-valid. Thismeansthat in any model alt;W, R, aagt; and ... K-validity of L /A, we know that any world w where L is T is one where A is T. We may express this fact as a diagram rule, anbsp;...
|Title||:||Modal Logic for Philosophers|
|Author||:||James W. Garson|
|Publisher||:||Cambridge University Press - 2006-08-14|