Tanaka, Miki; Power, John A unified category-theoretic semantics for binding signatures in substructural logics. (English) Zbl 1105.03072 J. Log. Comput. 16, No. 1, 5-25 (2006). MSC: 03G30 03B47 18D10 68N30 PDFBibTeX XMLCite \textit{M. Tanaka} and \textit{J. Power}, J. Log. Comput. 16, No. 1, 5--25 (2006; Zbl 1105.03072) Full Text: DOI
Giunchiglia, Enrico; Giunchiglia, Fausto Ideal and real belief about belief. (English) Zbl 1004.03011 J. Log. Comput. 11, No. 1, 157-192 (2001). MSC: 03B42 68T27 PDFBibTeX XMLCite \textit{E. Giunchiglia} and \textit{F. Giunchiglia}, J. Log. Comput. 11, No. 1, 157--192 (2001; Zbl 1004.03011) Full Text: DOI Link
Hughes, John; Launchbury, John Relational reversal of abstract interpretation. (English) Zbl 0784.68056 J. Log. Comput. 2, No. 4, 465-482 (1992). MSC: 68Q55 PDFBibTeX XMLCite \textit{J. Hughes} and \textit{J. Launchbury}, J. Log. Comput. 2, No. 4, 465--482 (1992; Zbl 0784.68056) Full Text: DOI