On the Logic of LGB Type Structures. Part II: Reentrancy Structures

Marcus Kracht

On the Logic of LGB Type Structures. Part II: Reentrancy Structures

Correct Metadata for

Use this form to create a GitHub issue with structured data describing the correction. You will need a GitHub account. Once you create that issue, the correction will be reviewed by a staff member.

⚠️ Mobile Users: Submitting this form to create a new issue will only work with github.com, not the GitHub Mobile app.

Important: The Anthology treat PDFs as authoritative. Please use this form only to correct data that is out of line with the PDF. See our corrections guidelines if you need to change the PDF.

Title Adjust the title. Retain tags such as <fixed-case>.

Authors Adjust author names and order to match the PDF.

Abstract Correct abstract if needed. Retain XML formatting tags such as <tex-math>. You may use <b>...</b> for bold, <i>...</i> for italic, and <url>...</url> for URLs.

Verification against PDF Ensure that the new title/authors match the snapshot below. (If there is no snapshot or it is too small, consult the PDF.)

Authors concatenated from the text boxes above:

ALL author names match the snapshot above—including middle initials, hyphens, and accents.

Anthology ID:: 2025.mol-1.8
Volume:: Proceedings of the 18th Meeting on the Mathematics of Language
Month:: August
Year:: 2025
Address:: Stony Brook, NY, USA
Editors:: Thomas Graf, Matthew Hayden, Jeffrey Heinz, Lawrence Moss, Yang Wang
Venue:: MoL
SIG:: SIGMOL
Publisher:: Association for Computational Linguistics
Note:
Pages:: 102–113
Language:
URL:: https://aclanthology.org/2025.mol-1.8/
DOI:
Bibkey:
Cite (ACL):: Marcus Kracht. 2025. On the Logic of LGB Type Structures. Part II: Reentrancy Structures. In Proceedings of the 18th Meeting on the Mathematics of Language, pages 102–113, Stony Brook, NY, USA. Association for Computational Linguistics.
Cite (Informal):: On the Logic of LGB Type Structures. Part II: Reentrancy Structures (Kracht, MoL 2025)
Copy Citation:
PDF:: https://aclanthology.org/2025.mol-1.8.pdf

PDF Cite Search Fix data

Export citation

BibTeX
MODS XML
Endnote
Preformatted

@inproceedings{kracht-2025-logic,
    title = "On the Logic of {LGB} Type Structures. Part {II}: Reentrancy Structures",
    author = "Kracht, Marcus",
    editor = "Graf, Thomas  and
      Hayden, Matthew  and
      Heinz, Jeffrey  and
      Moss, Lawrence  and
      Wang, Yang",
    booktitle = "Proceedings of the 18th Meeting on the Mathematics of Language",
    month = aug,
    year = "2025",
    address = "Stony Brook, NY, USA",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/2025.mol-1.8/",
    pages = "102--113"
}

Download as File

<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="kracht-2025-logic">
    <titleInfo>
        <title>On the Logic of LGB Type Structures. Part II: Reentrancy Structures</title>
    </titleInfo>
    <name type="personal">
        <namePart type="given">Marcus</namePart>
        <namePart type="family">Kracht</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <originInfo>
        <dateIssued>2025-08</dateIssued>
    </originInfo>
    <typeOfResource>text</typeOfResource>
    <relatedItem type="host">
        <titleInfo>
            <title>Proceedings of the 18th Meeting on the Mathematics of Language</title>
        </titleInfo>
        <name type="personal">
            <namePart type="given">Thomas</namePart>
            <namePart type="family">Graf</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <name type="personal">
            <namePart type="given">Matthew</namePart>
            <namePart type="family">Hayden</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <name type="personal">
            <namePart type="given">Jeffrey</namePart>
            <namePart type="family">Heinz</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <name type="personal">
            <namePart type="given">Lawrence</namePart>
            <namePart type="family">Moss</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <name type="personal">
            <namePart type="given">Yang</namePart>
            <namePart type="family">Wang</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <originInfo>
            <publisher>Association for Computational Linguistics</publisher>
            <place>
                <placeTerm type="text">Stony Brook, NY, USA</placeTerm>
            </place>
        </originInfo>
        <genre authority="marcgt">conference publication</genre>
    </relatedItem>
    <identifier type="citekey">kracht-2025-logic</identifier>
    <location>
        <url>https://aclanthology.org/2025.mol-1.8/</url>
    </location>
    <part>
        <date>2025-08</date>
        <extent unit="page">
            <start>102</start>
            <end>113</end>
        </extent>
    </part>
</mods>
</modsCollection>

Download as File

%0 Conference Proceedings
%T On the Logic of LGB Type Structures. Part II: Reentrancy Structures
%A Kracht, Marcus
%Y Graf, Thomas
%Y Hayden, Matthew
%Y Heinz, Jeffrey
%Y Moss, Lawrence
%Y Wang, Yang
%S Proceedings of the 18th Meeting on the Mathematics of Language
%D 2025
%8 August
%I Association for Computational Linguistics
%C Stony Brook, NY, USA
%F kracht-2025-logic
%U https://aclanthology.org/2025.mol-1.8/
%P 102-113

Download as File

Markdown (Informal)

[On the Logic of LGB Type Structures. Part II: Reentrancy Structures](https://aclanthology.org/2025.mol-1.8/) (Kracht, MoL 2025)

On the Logic of LGB Type Structures. Part II: Reentrancy Structures (Kracht, MoL 2025)

ACL

Marcus Kracht. 2025. On the Logic of LGB Type Structures. Part II: Reentrancy Structures. In Proceedings of the 18th Meeting on the Mathematics of Language, pages 102–113, Stony Brook, NY, USA. Association for Computational Linguistics.