<?xml version="1.0"?>
<dblp>
<article key="journals/jolli/Rosen97" mdate="2002-01-03">
<author>Eric Rosen</author>
<title>Modal Logic over Finite Structures.</title>
<pages>427-439</pages>
<year>1997</year>
<volume>6</volume>
<journal>Journal of Logic, Language and Information</journal>
<number>4</number>
<url>db/journals/jolli/jolli6.html#Rosen97</url>
</article>
</dblp>
