Monodic Epistemic Predicate Logic
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/jelia/SturmWZ00,
author = {Holger Sturm and
Frank Wolter and
Michael Zakharyaschev},
title = {Monodic Epistemic Predicate Logic},
booktitle = {JELIA},
year = {2000},
pages = {329-344},
ee = {http://link.springer.de/link/service/series/0558/bibs/1919/19190329.htm},
crossref = {DBLP:conf/jelia/2000},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
\end{bibtex}
