Modal Logics and the two-variable fragment

C Lutz, U Sattler, F Wolter

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Original languageEnglish
    Title of host publicationAnnual Conference of the European Association for Computer Science Logic (CSL'01)
    PublisherSpringer Nature
    Volume2142
    Publication statusPublished - 2001

    Publication series

    NameLecture Notes in Computer Science

    Cite this