<?xml version="1.0" encoding="UTF-8"?>
<collection xmlns="http://www.loc.gov/MARC21/slim">
 <record>
  <leader>     caa a22        4500</leader>
  <controlfield tag="001">469126736</controlfield>
  <controlfield tag="003">CHVBK</controlfield>
  <controlfield tag="005">20180323133152.0</controlfield>
  <controlfield tag="007">cr unu---uuuuu</controlfield>
  <controlfield tag="008">170328e19920701xx      s     000 0 eng  </controlfield>
  <datafield tag="024" ind1="7" ind2="0">
   <subfield code="a">10.1007/BF01794981</subfield>
   <subfield code="2">doi</subfield>
  </datafield>
  <datafield tag="035" ind1=" " ind2=" ">
   <subfield code="a">(NATIONALLICENCE)springer-10.1007/BF01794981</subfield>
  </datafield>
  <datafield tag="100" ind1="1" ind2=" ">
   <subfield code="a">Kracht</subfield>
   <subfield code="D">Marcus</subfield>
   <subfield code="u">II. Department of Mathematics, Arnimallee 3, W-1000, Berlin 33, Federal Republic of Germany</subfield>
   <subfield code="4">aut</subfield>
  </datafield>
  <datafield tag="245" ind1="1" ind2="0">
   <subfield code="a">Even more about the lattice of tense logics</subfield>
   <subfield code="h">[Elektronische Daten]</subfield>
   <subfield code="c">[Marcus Kracht]</subfield>
  </datafield>
  <datafield tag="520" ind1="3" ind2=" ">
   <subfield code="a">The present paper is based on [11], where a number of conjectures are made concerning the structure of the lattice of normal extensions of the tense logicKt. That paper was mainly dealing with splittings of and some sublattices, and this is what I will concentrate on here as well. The main tool in analysing the splittings of will be the splitting theorem of [8]. In [11] it was conjectured that each finite subdirectly irreducible algebra splits the lattice of normal extensions ofK4t andS4t. We will show that this is not the case and that on the contrary only very few and trivial splittings of the mentioned lattices exist.</subfield>
  </datafield>
  <datafield tag="540" ind1=" " ind2=" ">
   <subfield code="a">Springer-Verlag, 1992</subfield>
  </datafield>
  <datafield tag="773" ind1="0" ind2=" ">
   <subfield code="t">Archive for Mathematical Logic</subfield>
   <subfield code="d">Springer-Verlag</subfield>
   <subfield code="g">31/4(1992-07-01), 243-257</subfield>
   <subfield code="x">0933-5846</subfield>
   <subfield code="q">31:4&lt;243</subfield>
   <subfield code="1">1992</subfield>
   <subfield code="2">31</subfield>
   <subfield code="o">153</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2="0">
   <subfield code="u">https://doi.org/10.1007/BF01794981</subfield>
   <subfield code="q">text/html</subfield>
   <subfield code="z">Onlinezugriff via DOI</subfield>
  </datafield>
  <datafield tag="908" ind1=" " ind2=" ">
   <subfield code="D">1</subfield>
   <subfield code="a">research-article</subfield>
   <subfield code="2">jats</subfield>
  </datafield>
  <datafield tag="950" ind1=" " ind2=" ">
   <subfield code="B">NATIONALLICENCE</subfield>
   <subfield code="P">856</subfield>
   <subfield code="E">40</subfield>
   <subfield code="u">https://doi.org/10.1007/BF01794981</subfield>
   <subfield code="q">text/html</subfield>
   <subfield code="z">Onlinezugriff via DOI</subfield>
  </datafield>
  <datafield tag="950" ind1=" " ind2=" ">
   <subfield code="B">NATIONALLICENCE</subfield>
   <subfield code="P">100</subfield>
   <subfield code="E">1-</subfield>
   <subfield code="a">Kracht</subfield>
   <subfield code="D">Marcus</subfield>
   <subfield code="u">II. Department of Mathematics, Arnimallee 3, W-1000, Berlin 33, Federal Republic of Germany</subfield>
   <subfield code="4">aut</subfield>
  </datafield>
  <datafield tag="950" ind1=" " ind2=" ">
   <subfield code="B">NATIONALLICENCE</subfield>
   <subfield code="P">773</subfield>
   <subfield code="E">0-</subfield>
   <subfield code="t">Archive for Mathematical Logic</subfield>
   <subfield code="d">Springer-Verlag</subfield>
   <subfield code="g">31/4(1992-07-01), 243-257</subfield>
   <subfield code="x">0933-5846</subfield>
   <subfield code="q">31:4&lt;243</subfield>
   <subfield code="1">1992</subfield>
   <subfield code="2">31</subfield>
   <subfield code="o">153</subfield>
  </datafield>
  <datafield tag="900" ind1=" " ind2="7">
   <subfield code="a">Metadata rights reserved</subfield>
   <subfield code="b">Springer special CC-BY-NC licence</subfield>
   <subfield code="2">nationallicence</subfield>
  </datafield>
  <datafield tag="898" ind1=" " ind2=" ">
   <subfield code="a">BK010053</subfield>
   <subfield code="b">XK010053</subfield>
   <subfield code="c">XK010000</subfield>
  </datafield>
  <datafield tag="949" ind1=" " ind2=" ">
   <subfield code="B">NATIONALLICENCE</subfield>
   <subfield code="F">NATIONALLICENCE</subfield>
   <subfield code="b">NL-springer</subfield>
  </datafield>
 </record>
</collection>
