Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Expanding Modalities 2<br />
Neighbourhood Logic Zhou Hansen 98<br />
A first order logic with two modalities<br />
φ<br />
♦lφ<br />
<br />
<br />
a b e<br />
♦rφ<br />
<br />
<br />
b e c<br />
φ<br />
for some a ≤ b<br />
for some c ≥ e<br />
Completeness Barua Roy Zhou 2000<br />
Tallinn, November 17- 21, Michael R. Hansen – p.23/29