<?xml version="1.0" encoding="UTF-8"?>
<record
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xsi:schemaLocation="http://www.loc.gov/MARC21/slim http://www.loc.gov/standards/marcxml/schema/MARC21slim.xsd"
    xmlns="http://www.loc.gov/MARC21/slim">

  <leader>00683nam a2200217Ia 4500</leader>
  <controlfield tag="008">191130s1997##################000#0#eng##</controlfield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">9780198537793</subfield>
  </datafield>
  <datafield tag="022" ind1=" " ind2=" ">
    <subfield code="a">97185365</subfield>
  </datafield>
  <datafield tag="040" ind1=" " ind2=" ">
    <subfield code="a">ACL</subfield>
    <subfield code="c">ACL</subfield>
  </datafield>
  <datafield tag="082" ind1=" " ind2=" ">
    <subfield code="a">511.3 CHA</subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="a">Chagrov, Alexander</subfield>
  </datafield>
  <datafield tag="245" ind1=" " ind2=" ">
    <subfield code="a">Modal logic</subfield>
    <subfield code="c">Alexander Chagrov and Michael Zakharyaschev</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="a">Oxford</subfield>
    <subfield code="b">Clarendon Press ; Oxford University Press</subfield>
    <subfield code="c">c1997</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
    <subfield code="a">xv, 605 p. : ill. ; 24 cm</subfield>
  </datafield>
  <datafield tag="500" ind1=" " ind2=" ">
    <subfield code="a">Includes bibliographical references (p. [567]-595) and index</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a">Modality (Logic)</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="a">Zakharyaschev, Michael</subfield>
  </datafield>
  <datafield tag="990" ind1=" " ind2=" ">
    <subfield code="a">2a546a56ac10000c54d6a8d264647b3b</subfield>
  </datafield>
  <datafield tag="991" ind1=" " ind2=" ">
    <subfield code="a">281123</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="c">380345</subfield>
    <subfield code="d">380345</subfield>
  </datafield>
</record>
