Semenov, A. L.; Soprunov, S. F. A combinatorial version of the Svenonius theorem on definability. (English) Zbl 1405.03076 Log. J. IGPL 23, No. 6, 966-975 (2015). MSC: 03C40 03C60 20B07 PDFBibTeX XMLCite \textit{A. L. Semenov} and \textit{S. F. Soprunov}, Log. J. IGPL 23, No. 6, 966--975 (2015; Zbl 1405.03076) Full Text: DOI arXiv
Fernández-Duque, David; Nepomuceno-Fernández, Ángel; Sarrión-Morrillo, Enrique; Soler-Toscano, Fernando; Velázquez-Quesada, Fernando R. Forgetting complex propositions. (English) Zbl 1405.03039 Log. J. IGPL 23, No. 6, 942-965 (2015). MSC: 03B42 PDFBibTeX XMLCite \textit{D. Fernández-Duque} et al., Log. J. IGPL 23, No. 6, 942--965 (2015; Zbl 1405.03039) Full Text: DOI arXiv
Gabbay, D.; Gabbay, M. The attack as strong negation. I. (English) Zbl 1405.03027 Log. J. IGPL 23, No. 6, 881-941 (2015). MSC: 03B20 03B45 03B60 PDFBibTeX XMLCite \textit{D. Gabbay} and \textit{M. Gabbay}, Log. J. IGPL 23, No. 6, 881--941 (2015; Zbl 1405.03027) Full Text: DOI arXiv
Zolin, Evgeny Local Goldblatt-Thomason theorem. (English) Zbl 1405.03052 Log. J. IGPL 23, No. 6, 861-880 (2015). MSC: 03B45 PDFBibTeX XMLCite \textit{E. Zolin}, Log. J. IGPL 23, No. 6, 861--880 (2015; Zbl 1405.03052) Full Text: DOI