A new modal Lindström theorem
From MaRDI portal
Publication:874750
DOI10.1007/s11787-006-0006-3zbMath1118.03012MaRDI QIDQ874750
Publication date: 10 April 2007
Published in: Logica Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11787-006-0006-3
interpolation; modal logic; guarded fragment; abstract model theory; invariance theorem; extended modal languages; Lindström theorem
Related Items