Murali, Adithya; Peña, Lucas; Löding, Christof; Madhusudan, P. A first-order logic with frames. (English) Zbl 1508.68072 Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 515-543 (2020). MSC: 68N30 03B70 68Q60 PDFBibTeX XMLCite \textit{A. Murali} et al., Lect. Notes Comput. Sci. 12075, 515--543 (2020; Zbl 1508.68072) Full Text: DOI arXiv
Roşu, Grigore Matching logic. (English) Zbl 1448.03019 Log. Methods Comput. Sci. 13, No. 4, Paper No. 28, 61 p. (2017). MSC: 03B70 68Q42 68Q60 PDFBibTeX XMLCite \textit{G. Roşu}, Log. Methods Comput. Sci. 13, No. 4, Paper No. 28, 61 p. (2017; Zbl 1448.03019) Full Text: DOI arXiv
Demri, Stéphane; Deters, Morgan Separation logics and modalities: a survey. (English) Zbl 1398.03151 J. Appl. Non-Class. Log. 25, No. 1, 50-99 (2015). MSC: 03B70 03B25 03B44 03B45 03D15 PDFBibTeX XMLCite \textit{S. Demri} and \textit{M. Deters}, J. Appl. Non-Class. Log. 25, No. 1, 50--99 (2015; Zbl 1398.03151) Full Text: DOI