@article{Wolter_2001,
    title = {Decidable fragments of first-order modal logics},
    volume = {66},
    issn = {1943-5886},
    url = {http://dx.doi.org/10.2307/2695115},
    doi = {10.2307/2695115},
    number = {3},
    journal = {Journal of Symbolic Logic},
    publisher = {Cambridge University Press (CUP)},
    author = {Wolter, Frank and Zakharyaschev, Michael},
    year = {2001},
    month = {sep},
    pages = {1415–1438},
    date-added = {2025-3-9 22:11:57 +0100}
}

@article{Wolter_2001, title = {Decidable fragments of first-order modal logics}, volume = {66}, issn = {1943-5886}, url = {http://dx.doi.org/10.2307/2695115}, doi = {10.2307/2695115}, number = {3}, journal = {Journal of Symbolic Logic}, publisher = {Cambridge University Press (CUP)}, author = {Wolter, Frank and Zakharyaschev, Michael}, year = {2001}, month = {sep}, pages = {1415–1438}, date-added = {2025-3-9 22:11:57 +0100} }