Last update: Sat Oct 14 02:53:33 MDT 2017
@Article{Ghilardi:1988:MTP, author = "S. Ghilardi and G. C. Meloni", title = "Modal and tense predicate logic: Models in presheaves and categorical conceptualization", journal = j-LECT-NOTES-MATH, volume = "1348", pages = "130--142", year = "1988", CODEN = "LNMAA2", DOI = "https://doi.org/10.1007/BFb0081355", ISBN = "3-540-50362-5 (print), 3-540-45985-5 (e-book)", ISBN-13 = "978-3-540-50362-0 (print), 978-3-540-45985-9 (e-book)", ISSN = "0075-8434 (print), 1617-9692 (electronic)", ISSN-L = "0075-8434", MRclass = "03B45 (03G30 18A15 18C10)", MRnumber = "975966 (90b:03019)", MRreviewer = "G. E. Mints", bibdate = "Thu May 15 18:46:23 MDT 2014", bibsource = "http://www.math.utah.edu/pub/tex/bib/lnm1985.bib", URL = "http://link.springer.com/chapter/10.1007/BFb0081355/", acknowledgement = ack-nhfb, book-DOI = "https://doi.org/10.1007/BFb0081344", book-URL = "http://www.springerlink.com/content/978-3-540-45985-9", fjournal = "Lecture Notes in Mathematics", journal-URL = "http://link.springer.com/bookseries/304", }