Self-Referentiality in Contraction-free Fragments of Modal Logic S4

TitleSelf-Referentiality in Contraction-free Fragments of Modal Logic S4
Publication TypeMaster's Thesis
2010
AuthorsPulver, C
http://www.iam.unibe.ch/ltgpub/2010/pul10.pdf