Speaking about Transitive Frames in Propositional Languages
From Tetherless World Wiki
\begin{bibtex} @article{DBLP:journals/jolli/SuzukiWZ98,
author = {Yasuhito Suzuki and
Frank Wolter and
Michael Zakharyaschev},
title = {Speaking about Transitive Frames in Propositional Languages},
journal = {Journal of Logic, Language and Information},
volume = {7},
number = {3},
year = {1998},
pages = {317-339},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
\end{bibtex}
