An algebraic approach to incompleteness in modal logic (bibtex)
by Tadeusz Litak
Reference:
Tadeusz Litak: An algebraic approach to incompleteness in modal logic, PhD thesis, Japan Advanced Institute of Science and Technology, 2005. It is not an easy reading. And I am by no means proud of this fact. If you are interested in the results of my dissertation, the Algebra Universalis solo paper, the AiML 5 paper, the Studia Logica 2004 paper, and the joint Studia Logica paper with Frank Wolter may prove better choices. [local copy]
Bibtex Entry:
@phdthesis{Litak05:phd,
  title={An algebraic approach to incompleteness in modal logic},
  author={Litak, Tadeusz},
  year={2005},
  school={Japan Advanced Institute of Science and Technology},
  comment={<div class="textleft">It is not an easy reading. And I am by no means proud of this fact. If you are interested in the results of my dissertation, the Algebra Universalis solo paper, the  AiML 5 paper, the Studia Logica 2004 paper, and the joint Studia Logica paper with Frank Wolter  may prove better choices.  </div> <a href="http://www8.cs.fau.de/~litak/papers/myphdhyperref.pdf"> [local copy] </a>},
  ALTurl = "https://dspace.jaist.ac.jp/dspace/handle/10119/977"
}
Powered by bibtexbrowser